Colloquium Logicum 20144-6 September 2014
The Colloquium Logicum is organized every two years by the
DVMLG, which is 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, in the vicinity of Munich.
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.
The programme committee invites the submission of abstracts of papers of all fields of research covered by the DVMLG.
Abstracts should have between 100 and 500 words and are to be submitted via the EasyChair submission page (see information
on the right-hand side).
Authors of papers will be notified about acceptance soon after that.
The Colloquium Logicum 2014 is generously funded by the Deutsche Forschungsgemeinschaft (LO 834/11-1).