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