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).

  • Anupam Das

  • Luisa Deprés

  • Anela Lolić

  • Dale Miller

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

  • Jana Marikova

  • Pierre Touchard

  • Tingxiang Zou

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

  • Jan Grebik

  • Rahman Mohammadpour

  • Jonathan Schilhan

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

  • George Barmpalias

  • Ellen Hammatt

  • Giovanni Soldà

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

  • Szymon Toruńczyk

  • Jakub Opršal

Logic and Leibniz. Organized by Juliette Kennedy (Helsinki), David Rabouin (CNRS), and Vincenzo de Risi (CNRS).

  • Filippo Costantini

  • Marko Malink

  • Massimo Mugnai

  • Alessia Salierno

  • Anubav Vasudevan

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

  • Ko Aoki

  • Dagur Asgeirsson

  • Dianthe Basak

  • Matteo Viale