Logic Colloquium 2025

July 7th–11th, 2025, TU Wien. Vienna, Austria.

Announcements

  • Abstract submission for contributed talks is closed. Instructions.

  • Read the ASL Code of Conduct.

  • The schedule is online.

  • Registration is closed. On-site registration will be possible only on Monday morning, only for speakers or if previously discussed with the Organizing Committee. The fee is 470 EUR. You will receive a payment confirmation.

Important dates

  • April 1: Registration opens.

  • April 15: Deadline for ASL student travel applications

  • April 21: Deadline for contributed talks

  • April 25: Notification of student travel grants

  • May 5: Notification of acceptance of contributed talks

  • May 7: Deadline for early registration

  • May 30: Deadline for registration

  • July 7–11: Logic Colloquium

Plenary speakers

  • Joan Bagaria

    Gödel Lecture

  • Bahareh Afshari

  • Thomas Colcombet

  • Sébastien 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

See the schedule page for room information.

Organizing Committee

  • Miguel Aguilar

  • Juan Aguilera (chair)

  • Matthias Baaz (co-chair)

  • Fernando Barrera

  • Kees van Berkel

  • Anton Fernández

  • Mariami Gamsakhurdia

  • Martina Iannella

  • Thibaut Kouptchinsky

  • Anela Lolic (co-chair)

  • Stella Mahler

  • Marietta Meszlenyi

  • Rahman Mohammadpour

  • Grigorii Stepanov

  • Corey Switzer

Additional staff

  • Bartosz Bednarczyk

  • Rui Zhou

  • Huimin Dong

  • Elijah Schulzki

  • Mirko Tagliaferri

  • Jasmine Haider

  • Marit Einböck

  • Adrian Chroust

  • Martin Gogeißl

Program Committee

  • Juan Aguilera

  • Mikołaj Bojańczyk

  • Nicola Gambino

  • Nina Gierasimczuk

  • Rosalie Iemhoff

  • Juliette Kennedy (chair)

  • Sandra Müller

  • Daniel Palacin

  • Ludovic Patey

  • Andrés Villaveces

Previous Editions

Support

  • Association for Symbolic Logic

  • TU Wien

  • Vienna Tourist Board

  • European Research Council

  • Austrian Science Foundation