The Colloquium Logicum is organized every two years by the Deutsche Vereinigung für Mathematische Logik und für 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. During the conference on Friday evening, the University Players will play Hugh Whitemore's Breaking the Code about Alan Turing's life and work (more information about the production). 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.

Organizers: Benedikt Löwe (Amsterdam & Hamburg), Volker Peckhaus (Paderborn).

The Colloquium Logicum 2012 is generously funded by the Heinz-Nixdorf-Stiftung and the Deutsche Forschungsgemeinschaft (LO 834/9-1).