Logic List Mailing Archive
CfP: Logic Colloquium 2026 / British Logic Colloquium 2026, 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) - Mathematics - model theory.
* Rahul Santhanam (Oxford) - CS - Complexity.
# 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 (Swansea) 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: Fredrick 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<mailto:asl@uconn.edu%3cmailto:asl@uconn.edu%3e%3cmailto:asl@uconn.edu>>
by the deadline of April 1, 2026.
Abstracts MUST use the template and abide by the format as listed at
https://aslonline.org/rules-for-abstracts/.
See the conference webpage for full instructions.
==========================
IMPORTANT DATES
==========================
March 23: Deadline for student travel applications
April 1: Deadline for contributed talks
April 10: Notification of student travel grants
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
==========================
Grants
==========================
We have a good number of student grants funded by the LMS and ASL available.
Application deadline 23 March 2026.
Please consult the LC2026 webpage for full instructions.
In addition we have a small amount to support participants
from LMS scheme 5 countries, and for child care.
==========================
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 Morgan
Eike Neumann
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php