4-6 Sep 2014
_________________________________________________________________________________
COLLOQUIUM LOGICUM 2014
4-6 September 2014
Munich, Germany
First Announcement
http://cca-net.de/cl2014/
_________________________________________________________________________________
The Colloquium Logicum is organized every two years by the DVMLG ("Deutsche
Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten
Wissenschaften"), the German association of logicians in mathematics,
philosophy and theoretical computer science.
In 2014 the conference will take place in Munich at the Universität der
Bundeswehr München, Neubiberg.
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.
Besides the regular scientific programme it is planned to include a PhD
Colloquium with invited presentations of excellent recent PhD graduates.
Programme Committee
- Vasco Brattka, Munich, Germany and Cape Town, South Africa
- Anuj Dawar, Cambridge, UK
- Liesbeth De Mol, Gent, Belgium
- Rosalie Iemhoff, Utrecht, The Netherlands
- Hannes Leitgeb, Munich, Germany
- Benedikt Löwe, Hamburg, Germany and Amsterdam, The Netherlands (Chair)
- André Nies, Auckland, New Zealand
- Katrin Tent, Münster, Germany
A call for papers with further details on the submission procedure
will be distributed later in 2013.
The web page will be regularly updated:
http://cca-net.de/cl2014/
_________________________________________________________________________________