Please note that this newsitem has been archived, and may contain outdated information or links.
13-15 September 2012, Colloquium Logicum 2012, Paderborn, Germany
The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG).
CL 2012 is part of the world-wide Alan Turing Year 2012. 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. In addition to the Turing celebrations, the DVMLG celebrates its own 50th anniversary.
In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.
For more information, see http://www.math.uni-hamburg.de/home/loewe/CL2012/
The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG: mathematical logic and the foundations of the exact sciences (including logic in philosophy, computer science and artificial intelligence). Submissions relating the Alan Turing's life and work are particularly welcome. The submission deadline is Sunday, 15 July 2012.
Please note that this newsitem has been archived, and may contain outdated information or links.