Logic List Mailing Archive

CfP: Logic Colloquium 2026 – European Summer Meeting of the ASL, 29 June–3 July 2026, Swansea (UK)

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://logiccolloquium2026.github.io/>

==========================
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@uconn.edu> by the deadline of April 1, 2026.

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://logiccolloquium2026.github.io/>

Contact:
Monika Seisenberger, <m.seisenberger@swansea.ac.uk>
Manlio Valenti, <manlio.valenti@swansea.ac.uk>
on behalf of the LC2026 Organisation Committee.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php