NOTE: Due to the current global COVID-19 pandemic, the conference has been postponed from 23-26 September 2020 to 26-28 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 will be hosted at the University of Konstanz on 26-28 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)
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, M. Serra, 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.