Join us from July 7-11 for the Logic Colloquium 2025 at TU Wien!

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. The event brings together leading researchers in the field of logic, with special sessions on Proof Theory, Model Theory, Set Theory, Computability Theory, Logic in Computer Science, Logic and Leibniz, and Condensed Mathematics. Guest speakers at this year’s Colloquium include Joan Bagaria, Bahareh Afshari, Thomas Colcombet, Sebastian Gandon, Patrick Lutz, Maryanthe Malliaris, Ulrik Buchholtz, Saharon Shelah, Sonja Smets, and Benny Siskind.

You can find more information about Guest Speakers and the Program of Logic In Vienna 2025 here.

Call for Volunteers

The organizers of the Logic Colloquium are looking for volunteers to support the smooth running of the conference. In return for your help, you’ll receive free registration and complimentary access to all evening social events, including lunches, the welcome reception, and the conference dinner. Your tasks will primarily include assisting at the registration desk and providing basic technical support in the conference rooms (e.g., setting up microphones). Estimated time commitment is between 10 and 15 hours over the course of the event.

If you’re interested in gaining behind-the-scenes experience at the Colloquium and connecting with the logic community, please send an email to Kees Van Berkel and Stella Mahler by June 20.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.