Colloquium Logicum 2012
Heinz Nixdorf MuseumsForum
Paderborn (Germany): 13-15 September 2012
Programme Committee
Paper Submission
PhD Colloquium
Local Information
Alan Turing Year 2012

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

Conference pictures

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.

During Colloquium Logicum 2012, the participants could observe the first public live demonstration of Hasenjäger's Turing machine that had been on display at the Turing centenary celebrations in Cambridge:

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

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