About

The Colloquium Logicum is organized every two years by the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaften (DVMLG).

There will be material on all areas of logic including mathematics, philosophy, and computer science. There will also be a PhD Colloquium with invited presentations from excellent recent PhD graduates.

Invited Speakers

Laurent Bienvenu (Bordeaux)
Olivier Bournez (École Polytechnique)
Wesley Holliday (University of California, Berkeley)
Christian Ikenmeyer (Liverpool)
Angeliki Koutsoukou-Argyraki (Cambridge)
Philipp Lücke (Universität Bonn)
Margaret Thomas (West Lafayette)

Organisational Team

Local Organisers: C. Antos, N. Barton, B. Fischer, L. Krapp, S. Kuhlmann, L. Nothacker, M. Serra, S. Vaas, L. Vogel, L. Wirth.

Programme Committee: C. Antos, M. Carl, D. Cenzer, E. Fokina, I. Halupczok, D. Klein, S. Kuhlmann (chair), Ø. Linnebo, B. Löwe, M. Ziegler.

%d bloggers like this: