Logic Colloquium 2025

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

Announcements

  • Abstract submission for contributed talks is open. Instructions.

  • Registration will open soon.

Important dates

  • April 1: Registration opens.

  • April 15: Deadline for ASL student travel applications

  • April 15: Deadline for contributed talks

  • April 25: Notification of student travel grants

  • May 1: Notification of acceptance of contributed talks

  • May 5: 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

  • 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

  • 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

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

Support

  • Association for Symbolic Logic

  • TU Wien

  • Austrian Science Foundation

  • European Research Council