About

NOTE: Due to the current global COVID-19 pandemic, the conference has been postponed from 23-26 September 2020 to March 2021. Please follow this website for updates.

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). Due to the ongoing COVID-19 pandemic, the 2020 edition of the conference has been postponed, and it is hoped that it will be hosted at the University of Konstanz in March 2021.

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)
WesLaurent Bienvenu (Bordeaux)
Olivier Bournez (École Polytechnique)
Catrin Campbell-Moore (Bristol)
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, 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: