Schedule (tentative)

Logic Colloquium 2025 – Program Outline

Gödel Lecture

The 2025 Gödel Lecture will be delivered by:

  • Joan Bagaria (ICREA)

Tutorials

  • Dima Sinapova (Rutgers)

  • Henry Towsner (UPenn)

Plenary Speakers

  • Bahareh Afshari (Gothenburg)

  • Ulrik Buchholz (Nottingham)

  • Thomas Colcombet (IRIF)

  • Sebastian Gandon (Clermont-Ferrand)

  • Patrick Lutz (UC Berkeley)

  • Maryanthe Malliaris (UChicago)

  • Saharon Shelah (HUJI)

  • Sonja Smets (Amsterdam)

  • Benjamin Siskind (TU Wien)

Special Sessions

Proof Theory. Organized by Matthias Baaz (TU Wien) and Stefan Hetzl (TU Wien).

Model Theory. Organized by Amador Martin-Pizarro (Freiburg) and Jonathan Kirby (UEA).

Set Theory. Organized by Aristotelis Panagiotopoulous (UniVie), Farmer Schlutzenberg (TU Wien), and Vera Fischer (UniVie).

Computability Theory. Organized by Paul Shafer (Leeds) and Laurent Bienvenu (Bordeaux).

Logic in Computer Science. Organized by Brett McLean (UGent) and Michael Pinsker (TU Wien).

Logic and Leibniz. Organized by Juliette Kennedy (Helsinki).

Condensed Mathematics. Organized by Jeffrey Bergfalk (Barcelona) and Chris Lambie-Hanson (CAS).