Logic Colloquium Schedule

Shortcuts:

Location:

  • All talks take place at TU Wien, “Freihaus” building. The address is Wiedner Hauptstrasse 8-10.

  • Room FH Hörsaal 1 is located in the red area, floors 1 and 2.

  • Rooms FH Hörsaal 2, FH Hörsaal 3, FH Hörsaal 4, and FH Hörsaal 7 are located in the yellow area, floor 2.

  • Plenary talks and tutorials take place in FH Hörsaal 1 (red area, floors 1 and 2).

  • Special sessions take place in FH Hörsaal 1, FH Hörsaal 3, and FH Hörsaal 7 (see above).

  • Contributed talks take place in all rooms (see below).

Plenary Talks

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

Contributed Talks

Schedule for contributed talks to be announced.

Social program

  • The reception of Logic Colloquium 2025 will take place on Monday, July 7th at 7pm.
    Location: Kuppelsaal of TU Wien. Address: Karlsplatz 13, 1040 Wien.

  • The conference dinner of Logic Colloquium 2025 will take place on Thursday, July 10th at 7pm.
    Location: Natural History Museum of Vienna. Address: Burgring 7, 1010 Wien.