[FOM] Call for Papers: Colloquium Logicum 2012, Paderborn, 13-15 September 2012

[bloewe at science.uva.nl]

FIRST 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.

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).