Program
The colloquium will run for five days and comprise 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.
Tutorials
- Anuj Dawar, University of Cambridge
- Alberto Marcone, Università Di Udine
- Andrei Sipoș, University of Bucharest
Plenary Speakers
- Daisuke Bekki, Ochanomizu University
- Johanna Franklin, Hofstra University
- James Freitag, University of Illinois at Chicago
- Rosalie Iemhoff, Utrecht University
- Stephen Jackson, University of North Texas
- Leszek Kołodziejczyk, University of Warsaw
- Paul-André Melliès, Université Paris Denis Diderot
Gödel Lecture
The 2024 Gödel lecture will be given by
- Tom Scanlon, University of California at Berkeley
Special Sessions
The topics of the special sessions are given below. Special session speakers will be announced soon.
- Applied Model Theory, chairs: Gareth Jones and Tamara Servi
- Computable Structures, chairs: Uri Andrews and Julia Knight
- Logic, Language and Computation, chairs: Robin Cooper and Stergios Chatzikyriakidis
- Philosophical Logic, chairs: Volker Halbach and Heinrich Wansing
- Proof Theory, chairs: Anton Freund and Sonia Marin
- Set Theory, chairs: Dana Bartošová and Slawomir Solecki