That Logic Blog
January 24, 2007
Workshop Program
The program for the workshop in Canberra on 5 - 7 February is now available
here
It's not too late to register if you want to come along for the fun!
posted by Jon @
4:23 PM
0 comments
Free Online Papers
AJL
LMCS
ACM TOCL
Recent Preprints
Bulletin of Symbolic Logic
Links
NotYASS
PhiNews
Logic Sites
Jon's Homepage
ProofTheory.ORG
Other Logic Blogs
LogBlog
Antimeta
Logicomp
Crunchy Logic
Consequently.org
logicandlanguage.net
Mathematics and Computation
Previous Posts
Thesis!
Invariants (preprint)
Galavanting
Workshop Program
USMC'07
Workshop: Canberra Nov 28 - 30
Ahoy Melbourne!
Meaning via Proofs
Goedelian Memoirs
Centres
Archives
January 2005
February 2005
March 2005
April 2005
May 2005
June 2005
July 2005
August 2005
September 2005
October 2005
November 2005
December 2005
January 2006
February 2006
March 2006
April 2006
May 2006
July 2006
August 2006
November 2006
December 2006
January 2007
May 2007
February 2008
April 2009