Update:
18 March: Registration is now open! Find the information here.
15 March: Additional grants for students, participants from Scheme 5 countries, and child care support have been added. Find them here.

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
  • 10th April Notification of student travel grants
  • 17th April Notification of accepted talks
  • 24th April Deadline for early registration
  • 24th May Deadline for registration
  • 29th June–3rd July Logic Colloquium/British Logic Colloquium.

Swansea banner

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.

More information and submission instructions can be found here.

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 (Moscow), 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: Fredrik Nordvall Forsberg (Strathclyde) and Nicolai Kraus (Nottingham)
Speakers: Martin Escardo (Birmingham), Zhixuan Yang (Exeter), Loïc Pujet (Strasbourg).


Sponsors