Plenary Speakers
Set Theory
Model Theory
Computer Science Logic
- Libor Barto (tutorial)
- Paweł Idziak
- Moritz Müller
Proof Theory
Computability Theory
- Karen Lange
- Alexander Melnikov
- Luca San Mauro (tutorial)
Philosophy
- Patricia Blanchette (Gödel Lecture)
- Juliette Kennedy