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). In 2020 it will be hosted at the University of Konstanz on the 23. – 26. September.

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)
Catrin Campbell-Moore (Bristol)
Wesley Holliday (University of California, Berkeley)
Christian Ikenmeyer (Liverpool)
Angeliki Koutsoukou-Argyraki (Cambridge)
Margaret Thomas (West Lafayette)

Organisational Team

Local Organisers: C. Antos, N. Barton, H. Brickhill, D. Kant, H. Karawani, L. Krapp, S. Kuhlmann, and S. Müller.

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: