Logic Colloquium 2025
July 7th–11th, 2025, TU Wien. Vienna, Austria.
Announcements
Registration will open soon.
Important dates
TBA: Deadline for ASL student travel applications
TBA: Deadline for contributed talks
TBA: Notification of student travel grants
TBA: Notification of acceptance of contributed talks
TBA: Deadline for early registration
TBA: Deadline for registration
July 7–11: Logic Colloquium
Invited speakers
-
Bahareh Afshari
-
Thomas Colcombet
-
Sebastian Gandon
-
Patrick Lutz
-
Maryanthe Malliaris
-
Ulrik Buchholtz
-
Saharon Shelah
-
Sonja Smets
-
Benny Siskind
Tutorials
-
Dima Sinapova
-
Henry Towsner
Venue
Technische Universität Wien (TU Wien)
Freihaus Building
Wiedner Hauptstrasse 8–10,
1040 Vienna, Austria.
Contact: lc25@dmg.tuwien.ac.at
Organizing Committee
Miguel Aguilar
Juan Aguilera (chair)
Matthias Baaz (co-chair)
Fernando Barrera
Anton Fernández
Mariami Gamsakhurdia
Martina Iannella
Thibaut Kouptchinsky
Anela Lolic (co-chair)
Stella Mahler
Rahman Mohammadpour
Grigorii Stepanov
Kees van Berkel
Program Committee
Juan Aguilera
Mikołaj Bojańczyk
Nicola Gambino
Nina Gierasimczuk
Rosalie Iemhoff
Juliette Kennedy (chair)
Sandra Müller
Ludovic Patey
Andrés Villaveces
Support