29 June - 3 July 2026
Swansea, UK
LOGIC COLLOQUIUM 2026/BRITISH LOGIC COLLOQUIUM 2026 CALL FOR CONTRIBUTED TALKS 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 Swansea University in Swansea, UK, 29-June to 3rd July, 2026. https://logiccolloquium2026.github.io/ ========================== PROGRAMME ========================== # Invited Plenary Talks: * Juan Pablo Aguilera (Vienna) * Carolin Antos-Kuby (Konstanz) * Liron Cohen (Ben-Gurion University) * Su Gao (Nankai University) * Åsa Hirvonen (Helsinki) * Takayuki Kihara (Nagoya) * Nicholas Pischke (Bath) # Gödel Lecture John Burgess (Princeton) # Tutorials: * Philipp Hieronymi (Bonn) * Rahul Santhanam (Oxford) # Special sessions: Session on Computability in Analysis Organisers: Daniel Graça (Faro) and Arno Pauly (Swansea) Speakers: Manon Blanc (Copenhagen), Holger Thies (Kyoto), Matea Čelar (Zagreb). Session on Pure and Applied Proof Theory Organisers: Raheleh Jalali (Bath) and Andrei Sipos (Bucharest) Speakers: Pavel Pudlak (Prague), Lev Beklemishev (St. Petersburg), Paulo Firmino (Lisbon). Session on History of Logic and Computing Organisers: Troy Astarte and John Tucker (Swansea) Speakers: Mathilde Fichen (CNAM Paris), Giuseppe Primiero (Milano). Session on Model Theory Organisers: Pantelis Eleftheriou (Leeds) and Frank Wagner (Lyon) Speakers: Anna de Mase (Konstanz), Mark Kamsma (University), Stefan Ludwig (Freiburg). Session on Set Theory Organisers: Boban Velickovic (Paris) and Matteo Viale (Turin) Speakers: Alejandro Poveda (Barcelona), Sumun Iyer (Pittsburgh), Borisa Kuzeljevic (Univ Novi Sad). Session on Type Theory Organisers: Fredrik Nordvall Forsberg (Strathclyde) and Nicolai Kraus (Nottingham) Speakers: Martin Escardo (Birmingham), Zhixuan Yang (Exeter), Loïc Pujet (Strasbourg). ========================== ABSTRACT SUBMISSION ========================== The programme committee invites proposals for contributed talks. Contributed abstracts should be submitted to Shannon Miller at asl@uconn.edu<mailto:asl@uconn.edu><mailto:asl@uconn.edu> by the deadline of April 13, 2026. ========================== IMPORTANT DATES ========================== April 13: Extended deadline for contributed talks April 17: Notification of acceptance of contributed talks April 24: Deadline for early registration May 24: Deadline for registration June 29–July 3: Logic Colloquium/British Logic Colloquium ========================== Registration ========================== Registration is open now! Please register via the registration menu on our conference page https://logiccolloquium2026.github.io/ We also offer ensuite on-campus accommodation - check the registration page for details. ========================== Programme Committee ========================== Albert Atserias (Barcelona) Fernando Ferreira (Lisbon) (Chair) Anton Freund (Würzburg) Jonathan Kirby (East Anglia) Leszek Kołodziejczyk (Warsaw) Françoise Point (Mons) Gil Sagi (Haifa) Monika Seisenberger (Swansea) Paul Shafer (Leeds) Boban Velickovic (Paris) ========================== Organizing Committee ========================== Troy Astarte (Trusted Person) Arnold Beckmann (Co-chair) Ulrich Berger Oliver Kullman Jay Paul Morgan Eike Neumann Arno Pauly Olga Petrovska Cécilia Pradic Monika Seisenberger (Chair) Anton Setzer Mukesh Tiwari John Tucker Manlio Valenti (Co-chair) ========================== Sponsors ========================== Association for Symbolic Logic British Logic Colloquium LMS - London Mathematical Society Heilbronn Institute for Mathematical Research DVMLG - Deutsche Vereinigung fuer Mathematische Logic und Grundlagen Forschung der Exakten Wissenschaften Zienkiewicz Institute for Data, Modelling and AI ========================== Contact and information ========================== More information can be found at: https://logiccolloquium2026.github.io/ All welcome, Monika Seisenberger and Manlio Valenti on behalf of the LC2026 organisation committee -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php