Programme and Speakers
Plenary Speakers
Gödel lecture:
- Stevo Todorcevic - University of Toronto and CNRS Paris
British Logic Colloquium Lecture:
- Laurent Bienvenu - CNRS et Université Paris Diderot
Other plenary lectures:
- Benno van den Berg - University of Amsterdam
- Richard Garner - Macquarie University
- Rob Goldblatt - Victoria University of Wellington
- Itay Kaplan - The Hebrew University of Jerusalem
- Toniann Pitassi - University of Toronto
- Farmer Schlutzenberg - University of Münster
- Dima Sinapova - University of Illinois at Chicago
- Henry Towsner - University of Pennsylvania
- Timothy Williamson - University of Oxford
- Boris Zilber - University of Oxford
Tutorials
- Topic: Univalent foundations
Speaker: Thierry Coquand - University of Gothenburg - Topic: Computable model theory
Speaker: Uri Andrews - University of Wisconsin-Madison
Special Sessions
Computability theory
Organizers: Iskander Kalimullin, Sebastiaan Terwijn
- Chris Conidis - City University of New York
- Rupert Hölzl - Universität der Bundeswehr München
- Andre Nies - University of Auckland
- Yang Yue - National University of Singapore
Formal theories of truth
Organizers: Ole Hjortland, Dave Ripley
- Theodora Achourioti - University of Amsterdam
- Roy Cook - University of Minnesota
- Volker Halbach - University of Oxford
- Lavinia Picollo - MCMP, LMU Munich
Homogeneous structures: model theory meets universal algebra
Organizers: Gregory Cherlin, Michael Pinsker
- Libor Barto - Charles University Prague
- Jan Hubicka - Prague
- Ross Willard - University of Waterloo
- Josh Wiscons - Hamilton College, NY
Model theory and limit structures
Organizers: Rehana Patel, Cameron Hill
- Nathanael Ackerman - Harvard University, Cambridge
- Ove Ahlman - Uppsala University
- Patrice Ossona de Mendez - École des Hautes Études en Sciences Sociales, Paris
- Caroline Terry - University of Illinois at Chicago
Proof theory and reverse mathematics
Organizers: Andreas Weiermann, Antonio Montalban
- David R. Belanger - Cornell University
- Lev Gordeev - University of Tübingen
- Florian Pelupessy - Tohoku University
- Sam Sanders - Ghent University, LMU Munich
Set theory
Organizers: Boban Velickovic, Itay Neeman
- Andrew Marks - UCLA
- David Schrittesser - University of Copenhagen
- Nam Trang - UC Irvine
- Anush Tserunyan - UI Urbana Champaign