Applied proof theory
(organized by B. Dinis and T. Powell)
University of Bucharest, Romania
University of Bath, United Kingdom
Technical University of Darmstadt, Germany
Computability
(organized by V. Brattka and K. Lange)
University of Zaragoza, Spain
Nanyang Technological University, Singapore
University of Wisconsin – Madison, USA
Logic and Computation
(organized by S. Buss and L. Kołodziejczyk)
University of Birmingham, UK
University of Oxford, UK
McGill University, Canada
Logic and Philosophy
(organized by L. Crosilla and A. M. Klev)
University of Konstanz, Germany
University of Tübingen, Germany
University of Leeds, UK
Model theory
(organized by J. Freitag and M. Hils)
University of Leeds, UK
University of Helsinki, Finland
IMJ-PRG / Sorbonne Université, France
Set theory
(organized by O. Ben-Neria and S. Müller)
Vienna University of Technology (TU Wien), Austria
University of Münster (WWU Münster), Germany
Zhixing You
Bar-Ilan University, Israel