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: