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