The Logic Colloquium 2007, the European Summer Meeting of the Association for Symbolic Logic, was held in Wrocław, Poland, from 14 to 19 July 2007. It was colocated with the following events: The thirty-fourth International Colloquium on Automata, Languages and Programming (ICALP), the twenty-second Annual IEEE Symposium on Logic in Computer Science (LICS) and the ninth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP). There was an agreement with LICS on running joint sessions for one day.
More than 200 participants from all over the world took part in the Logic Colloquium. The programme consisted of 3 tutorials, 11 invited plenary talks, 6 joint talks with LICS (2 long, 4 short) and 21 talks in 5 special sessions on set theory, proof complexity and nonclassical logics, philosophical and applied logic at the JPL, logic and analysis and model theory. In addition to these invited talks, there were 63 contributed talks.
The programme committee consisted of Alessandro Andretta (Turin), Françoise Delon (Paris 7), Ulrich Kohlenbach (Darmstadt), Steffen Lempp (Madison, Chair), Penelope Maddy (UC Irvine), Jerzy Marcinkowski (Wrocław), Ludomir Newelski (Warsaw), Andrew Pitts (Cambridge), Pavel Pudlák (Prague), Sławomir Solecki (Urbana-Champaign), Frank Stephan (Singapore) and Göran Sundholm (Leiden). The local organizing committee consisted of Tobias Kaiser, Piotry Kowalski, Jan Kraszewski, Amador Martin-Pizarro, Serge Randriambololona and Roman Wencel.
The Logic Colloquium 2007 wants to acknowledge its sponsors for their generous support of the event: the Association for Symbolic Logic, the Polish Academy of Sciences and the University of Wrocław.