[ 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. It will be held in conjunction with the British Logic Colloquium
2026.
The meeting will be organised at Swansea University in Swansea, UK,
29-June to 3rd July, 2026.
https://urldefense.com/v3/__https://logiccolloquium2026.github.io/__;!!IBzWLUs!QgG0tTIVCjXChU21rvMkjx09ItmlB_nbceIo4PUZYmE2GB1Pfvgh2YPHB0GpR002lRSvuxxfj8qSyiqBl5CaN8hPmTrYEbJm_mrZXluINr2a$
==========================
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:
* tba
# Tutorials:
* Philipp Hieronymi (Bonn)
* Rahul Santhanam (Oxford)
# 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)
==========================
ABSTRACT SUBMISSION
==========================
The programme committee invites proposals for contributed talks.
These can be on published or unpublished work, as well as work in progress.
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!QgG0tTIVCjXChU21rvMkjx09ItmlB_nbceIo4PUZYmE2GB1Pfvgh2YPHB0GpR002lRSvuxxfj8qSyiqBl5CaN8hPmTrYEbJm_mrZXkiJYfYG$
.
See the conference webpage for full instructions.
==========================
IMPORTANT DATES
==========================
March 23: Deadline for ASL 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
==========================
Student travel grants
==========================
We have a number of student grants funded by the ASL available.
Application deadline 23 March 2026.
Please consult the LC2026 webpage for full instructions.
==========================
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
Marek Jezinski
Oliver Kullman
Jay Paul 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
Zienkiewicz Institute for Data, Modelling and AI
Swansea University
==========================
Contact and information
==========================
More information can be found at:
https://urldefense.com/v3/__https://logiccolloquium2026.github.io/__;!!IBzWLUs!QgG0tTIVCjXChU21rvMkjx09ItmlB_nbceIo4PUZYmE2GB1Pfvgh2YPHB0GpR002lRSvuxxfj8qSyiqBl5CaN8hPmTrYEbJm_mrZXluINr2a$
Contact:
Monika Seisenberger,
[email protected]<mailto:[email protected]>
Manlio Valenti,
[email protected]<mailto:[email protected]>
on behalf of the LC2026 Organisation Committee.
