[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://logiccolloquium2026.github.io/__;!!IBzWLUs!VKfjmBT9xpEzHpG5UPoLcUtpzA0yF_WGAw8KBOkQJ9jAefKcqoUr96wI3cloRN5tdA5lEtUtjYcuyIJ0n9nVTCygIq9-66eg_X2g0_An9_Jm$
==========================
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 [email protected]<mailto:[email protected]><mailto:[email protected]>
by the deadline of April 1, 2026.
Abstracts MUST use the template and abide by the format as listed at
https://urldefense.com/v3/__https://aslonline.org/rules-for-abstracts/__;!!IBzWLUs!VKfjmBT9xpEzHpG5UPoLcUtpzA0yF_WGAw8KBOkQJ9jAefKcqoUr96wI3cloRN5tdA5lEtUtjYcuyIJ0n9nVTCygIq9-66eg_X2g0185rXgz$
.
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://urldefense.com/v3/__https://logiccolloquium2026.github.io/__;!!IBzWLUs!VKfjmBT9xpEzHpG5UPoLcUtpzA0yF_WGAw8KBOkQJ9jAefKcqoUr96wI3cloRN5tdA5lEtUtjYcuyIJ0n9nVTCygIq9-66eg_X2g0_An9_Jm$
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
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://urldefense.com/v3/__https://logiccolloquium2026.github.io/__;!!IBzWLUs!VKfjmBT9xpEzHpG5UPoLcUtpzA0yF_WGAw8KBOkQJ9jAefKcqoUr96wI3cloRN5tdA5lEtUtjYcuyIJ0n9nVTCygIq9-66eg_X2g0_An9_Jm$
Contact:
Monika Seisenberger,
[email protected]<mailto:[email protected]>
Manlio Valenti,
[email protected]<mailto:[email protected]>
on behalf of the LC2026 Organisation Committee.
