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.

Swansea banner

Abstract Submission

The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress.

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)

Tutorials

  • Philipp Hieronymi (Bonn)
  • Rahul Santhanam (Oxford)

Gödel Lecture

To be announced.

Special Sessions

Session on Computability in Analysis

Organisers: Daniel Graça (Faro) and Arno Pauly (Swansea)

Session on Pure and Applied Proof Theory

Organisers: Raheleh Jalali (Bath) and Andrei Sipos (Bucharest)

Session on History of Logic and Computing

Organisers: Troy Astarte (Swansea) and John Tucker (Swansea)

Session on Model Theory

Organisers: Pantelis Eleftheriou (Leeds) and Frank Wagner (Lyon)

Session on Set Theory

Organisers: Boban Velickovic (Paris) and Matteo Viale (Turin)

Session on Type Theory

Organisers: Fredrick Nordvall Forsberg (Strathclyde) and Nicolai Kraus (Nottingham)


Sponsors