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 meeting will be held at Technische Universität (TU) Wien in Vienna, Austria from July 7 to 11, 2025.
========================== PROGRAM ========================== # Gödel lecture: * Joan Bagaria (ICREA) will be giving the Gödel Lecture. # Plenary speakers: * B. Afshari (Gothenburg), * U. Buchholtz (Nottingham), * T. Colcombet (Paris IRIF), * S. Gandon (Clermont-Ferrand), * P. Lutz (UC Berkeley), * M. Malliaris (Chicago), * S. Shelah (Hebrew U), * B. Siskind (TU Wien), * S. Smets (Amsterdam). # Tutorials: * H. Towsner (UPenn), * D. Sinapova (Rutgers). # Special sessions: * Proof Theory. Organized by Matthias Baaz (TU Wien) and Stefan Hetzl (TU Wien). * Model Theory. Organized by Amador Martin-Pizarro (Freiburg) and Jonathan Kirby (UEA). * Set Theory. Organized by Aristotelis Panagiopoulous (UniVie), Farmer Schlutzenberg (TU Wien), and Vera Fischer (UniVie). * Computability Theory. Organized by Paul Shafer (Leeds) and Laurent Bienvenu (Bordeaux). * Logic in Computer Science. Organized by Brett McLean (UGent) and Michael Pinsker (TU Wien). * Logic and Leibniz. Organized by Juliette Kennedy (Helsinki). * Condensed Mathematics. Organized by Jeffrey Bergfalk (Barcelona) and Chris Lambie-Hanson (CAS). ========================== ABSTRACT SUBMISSION ========================== The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. Contributed abstracts should be submitted to Shannon Miller at a...@uconn.edu<mailto:a...@uconn.edu> by the deadline of April 15, 2025. Abstracts MUST use the template and abide by the format as listed at https://aslonline.org/rules-for-abstracts/. See the webpage https://www.colloquium.co/lc2025 for full instructions. ========================== IMPORTANT DATES ========================== April 1: *Registration open* 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 ========================== ASL Student travel award ========================== Graduate students and recent PhDs may apply for ASL travel support. Student travel award applications (with accompanying recommendation letters) should be sent to Shannon Miller at a...@uconn.edu<mailto:a...@uconn.edu> by the deadline of April 15, 2025. See the webpage https://www.colloquium.co/lc2025 for full instructions. ========================== Programme Committee ========================== *Juan Aguilera (TU Wien), *Mikołaj Bojańczyk (Warsaw), *Nicola Gambino (Manchester), *Nina Gierasimczuk (TU Denmark), *Rosalie Iemhoff (Utrecht), *Juliette Kennedy (Helsinki, chair), *Sandra Müller (TU Wien), *Daniel Palacín (Madrid), *Ludovic Patey (Paris), *Andrés Villaveces (Bogotá). ========================== Organizing Committee ========================== *Juan Aguilera (chair), *Anela Lolić (co-chair), *Matthias Baaz (co-chair), *Miguel Aguilar, *Fernando Barrera, *Kees van Berkel, *Anton Fernández, *Mariami Gamsakhurdia, *Martina Iannella, *Thibaut Kouptchinsky, *Stella Mahler, *Marietta Meszlenyi, *Rahman Mohammadpour, *Grigorii Stepanov, *Corey Switzer. ========================== Sponsors ========================== Association for Symbolic Logic, TU Wien, Österreichischer Wissenschaftsfonds FWF, European Research Council (ERC). ========================== Contact and information ========================== More information can be found here: https://www.colloquium.co/lc2025. Contact us: l...@dmg.tuwien.ac.at<mailto:l...@dmg.tuwien.ac.at>. -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
