Invited talks

[More information TBA]

Plenary talks

• Alex Kruckman, Wesleyan University
• Christina Vasilakopoulou, National Technical University of Athens
• Ekaterina Fokina, Vienna University of Technology
• Stefan Vatev, University of Sofia
• Stevo Todorcevic, University of Toronto
• Su Gao, Nankai University

Tutorials

• Alexander Kechris, California Institute of Technology
• Maryanthe Malliaris, University of Chicago

Special sessions

On the Axiom of Choice

• Assaf Shani, Concordia University
• Azul Lihuen Fatalini, University of Leeds
• Zoltán Vidnyánszky, Eötvös University

Logics for Formal Verification

• Elli Anastasiadi, Aalborg University
• Juha Kontinen, University of Helsinki
• Martin Zimmermann, Aalborg University

Philosophy Session: Modal Logic

• Aybüke Özgün, ILLC, University of Amsterdam
• Johannes Stern, University of Bristol
• Øystein Linnebo, University of Oslo

The Aristotelian Syllogistic: Computational and Foundational Aspects.

• Marko Malink, New York University
• Vangelis Triantafyllou, University of Ioannina
• Zoe McConaughey, University of Lille