NOTE: Due to the current global COVID-19 pandemic, the conference has been postponed from 23-26 September 2020 to September 2022. 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 September 2022.
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.
Laurent Bienvenu (Bordeaux)
Catrin Campbell-Moore (Bristol)
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)
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.