[TYPES/announce] Logic Colloquium 2026, Swansea, UK, Call for contributed talks

[Monika Seisenberger]

 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 asl at uconn.edu<mailto:asl at uconn.edu><mailto:asl at uconn.edu>
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, m.seisenberger at swansea.ac.uk<mailto:m.seisenberger at swansea.ac.uk>
Manlio Valenti, manlio.valenti at swansea.ac.uk<mailto:manlio.valenti at swansea.ac.uk>
on behalf of the LC2026 Organisation Committee.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260126/43b0a762/attachment-0001.htm>