[LOGIC] Mailing List | 11 Oct 15:34 2013
Picon

1st announcement: Colloquium Logicum 2014, Neubiberg/Munich (Germany), 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
(Continue reading)


Gmane