Special Sessions

The colloquium will feature six special sessions, listed below, along with their organizers and invited speakers.

Set Theory

Organisers

• Dana Bartosova
• Ilijas Farah

Speakers

• Ben De Bondt
• Damian Sobota
• Diana Montoya
• Jing Zhang
• Sandra Müller
• Thomas Daniells Gilton

Proof Theory and Ordinal Analysis

Organisers

• Andreas Weiermann
• Lev Beklemishev

Speakers

• Bahareh Afshari
• David Fernandez-Duque
• Gerhard Jaeger
• Gunnar Wilken
• Juan P. Aguilera
• Richard Matthews

Reverse Mathematics and Combinatorial Principles

Organisers

• Ludovic Patey
• Marta Fiori Carones

Speakers

• Chris Conidis
• Denis Hirschfeldt
• Giovanni Soldà
• Katarzyna W. Kowalik
• Wei Wang
• Yuke Liao

Model Theory

Organisers

• Dugald Macpherson

Speakers

• Alex Kruckman
• Jan Dobrowolski
• Mariana Vicaria
• Sam Braunfeld
• Sylvy Anscombe
• Tingxiang Zou

Computer Science Logic

Organisers

• Nicola Galesi
• Tarmo Uustalu

Speakers

• Alexis Saurin
• Fabio Mogavero
• Joanna Ochremiak
• Revantha Ramanayake
• Susanna de Rezende
• Thorsten Altenkirch 

Philosophy of Mathematics

Organisers

• Giorgio Venturi
• James Ladyman

Speakers

• Brice Halimi
• Laura Crosilla
• Salvatore Florio
• Tim Button