[proceedings]

NEWS:

• New: conference photo album


• Participants photos (click to enlarge):
  
  
  
  

• Full version of selected papers presented at the Conference will be published in special issues of Journals. More info.
• Satellite meeting: Workshop on Computability Theory, Sofia, August 6–7.

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in the following places:

Bern, Switzerland, 2008 Wrocław, Poland, 2007 Nijmegen, the Netherlands, 2006

Athens, Greece, 2005 Torino, Italy, 2004 Helsinki, Finland, 2003

The Association for Symbolic Logic is the largest in the world international organization supporting research and critical studies in logic. It was founded in 1936 at a time when great advances in logic were beginning to be made.