Invited talks

More information TBA

• Alex Kruckman, Wesleyan University
• Christina Vasilakopoulou, National Technical University of Athens
• 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

• 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
• Zoe McConaughey, University of Lille