The Colloquium Logicum is organized every two years by the "Deutsche
Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der
Exakten Wissenschaften" (DVMLG).

The year 2012 is the Alan Turing Year, marking the 100th birthday of the
father of the computer. The Heinz Nixdorf MuseumsForum is not only hosting
this conference, but also the special exhibition GENIAL UND GEHEIM on
Turing's life and achievements. CL 2012 is part of the world-wide Alan
Turing Year 2012. In addition to the Turing celebrations, the DVMLG
celebrates its own 50th anniversary.

Beyond the focus on Alan Turing and the history and philosophy of computing,
the conference will cover the whole range of mathematical logic and the
foundations of the exact sciences, in particular, logic in philosophy,
computer science and artificial intelligence.

KEYNOTE SPEAKERS:
Liesbeth De Mol (Universiteit Gent. Gent, Belgium)
Mirna Dzamonja (University of East Anglia. Norwich, U.K.)
Helena Durnova (Masarykova Univerzita. Brno, Czech Republic)
Salma  Kuhlmann (Universitaet Konstanz. Konstanz, Germany)
Andy Lewis (University of Leeds. Leeds, U.K.)
Thomas Mueller (Universiteit Utrecht, Utrecht, The Netherlands)
Michael Rathjen (University of Leeds. Leeds, U.K.)
Jean Paul Van Bendeghem (Vrije Universiteit Brussel. Brussels, Belgium)

In addition to the keynote talks, there will be a "PhD Colloquium" with
invited presentations of excellent recent PhD graduates. A Call for Papers
for contributed talks will be issued in early 2012.

PROGRAMME COMMITTEE:
Mark Bishop (London, U.K.)
Zoe Chatzidakis (Paris, France)
Peter Koepke (Bonn, Germany)
Steffen Lempp (Madison WI, U.S.A.)
Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany)
Volker Peckhaus (Paderborn, Germany)
Pavel Pudlak (Prague, Czech Republic) 
Erhard Scholz (Wuppertal, Germany)

Alan Turing Year 2012:
http://www.turingcentenary.eu/

CL 2012:
http://www.math.uni-hamburg.de/home/loewe/CL2012/

GENIAL UND GEHEIM:
http://www.hnf.de/Sonderausstellung/Foyerausstellungen/Turing/Turing.asp