13-15 Sep 2012
Paderborn, Germany
SECOND CALL FOR PAPERS
COLLOQUIUM LOGICUM 2012
Paderborn, Germany
13-15 September 2012
http://www.math.uni-hamburg.de/home/loewe/CL2012/
The Colloquium Logicum is organized every two years by the "Deutsche
Vereinigung fuer Mathematische Logik und fuer 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. CL 2012 is part of the world-wide Alan Turing Year 2012. 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.
KEYNOTE SPEAKERS:
Liesbeth De Mol (Universiteit Gent. Gent, Belgium)
Mirna Dzamonja (University of East Anglia. Norwich, U.K.)
Helena Durnova (Masarykova Univerzita. Brno, Czech Republic)
Salma Kuhlmann (Universitaet Konstanz. Konstanz, Germany)
Andy Lewis (University of Leeds. Leeds, U.K.)
Thomas Mueller (Universiteit Utrecht, Utrecht, The Netherlands)
Michael Rathjen (University of Leeds. Leeds, U.K.)
Jean Paul Van Bendeghem (Vrije Universiteit Brussel. Brussels, Belgium)
In addition to the keynote talks, there will be a "PhD Colloquium" with invited
presentations of excellent recent PhD graduates. We are also proud to announce
that the conference will see the premiere of the new production of the play
"Breaking the Code" about Alan Turing, performed by the University Players
Hamburg:
http://www.math.uni-hamburg.de/BreakingTheCode/
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. Abstracts should have between 100 and 500 words and
are submitted via the easychair submission page
https://www.easychair.org/conferences/?conf=cl2012 .
The submission deadline is Sunday, 15 July 2012. Authors of papers will be
notified about acceptance soon after that.
PROGRAMME COMMITTEE:
Mark Bishop (London, U.K.)
Zoe Chatzidakis (Paris, France)
Peter Koepke (Bonn, Germany)
Steffen Lempp (Madison WI, U.S.A.)
Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany)
Volker Peckhaus (Paderborn, Germany)
Pavel Pudlak (Prague, Czech Republic)
Erhard Scholz (Wuppertal, Germany)
Alan Turing Year 2012:
http://www.turingcentenary.eu/
CL 2012:
http://www.math.uni-hamburg.de/home/loewe/CL2012/
GENIAL UND GEHEIM:
http://www.hnf.de/Sonderausstellung/Foyerausstellungen/Turing/Turing.asp
Colloquium Logicum 2012 is generously funded by the Heinz-Nixdorf-Stiftung and
the Deutsche Forschungsgemeinschaft (LO 834/9-1).