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: