Scam Alert: We have been made aware of fraudulent messages being circulated to participants of this conference. Please only use the official channel for registration and do not reply to unsolicited emails. In case of doubt, please get in touch with the organising committee.

Logic Colloquium 2026

In conjunction with the
British Logic Colloquium 2026

29 June - 3 July 2026
Swansea University, Wales, UK

The Logic Colloquium 2026 is the annual European summer meeting of the Association of Symbolic Logic (ASL) that will be held in conjunction with the British Logic Colloquium 2026, in Swansea on 29 June - 3 July 2026.

The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.

Important dates

All dates midnight AoE.

23rd March Deadline for student travel grant applications
1st April Deadline for contributed talks Extended until 13 April
10th April Notification of student travel grants
13th April Extended Deadline for contributed talks
17th April Notification of accepted talks
4th May Deadline for early registration
24th May Deadline for registration
29th June–3rd July Logic Colloquium/British Logic Colloquium.

Abstract Submission

The programme committee invites proposals for contributed talks on all aspects of mathematical logic, including pure and applied proof theory, computability theory, complexity theory, history of logic and computing, model theory, set theory, as well as interactions with theoretical computer science and related disciplines.

Submission of contributed talks is now closed.

Programme Highlights

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 (Ghent), Paulo Firmino (Lisbon).

Session on History of Logic and Computing

Organisers: Troy Astarte (Swansea)
Speakers: Mathilde Fichen (CNAM Paris), Giuseppe Primiero (Milano), John Tucker (Swansea).

Session on Model Theory

Organisers: Pantelis Eleftheriou (Leeds) and Frank Wagner (Lyon)
Speakers: Anna de Mase (Konstanz), Mark Kamsma (Masaryk), Stefan Ludwig (Freiburg).

Session on Set Theory

Organisers: Boban Velickovic (Paris) and Matteo Viale (Turin)
Speakers: Alejandro Poveda (Barcelona), Sumun Iyer (Pittsburgh), Borisa Kuzeljevic (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).