Logic List Mailing Archive

CfR: 6th Symposium on Proof-theoretic Semantics, 9–11 February 2026, London (UK)

Dear colleagues,

We are pleased to announce the 6th Symposium on Proof-theoretic Semantics, taking place 9–11 February 2026 at the Institute of Philosophy, School of Advanced Study, University of London.

This three-day workshop brings together researchers working on foundational and applied aspects of proof-theoretic semantics and logical inferentialism. Topics include (but are not limited to) soundness and completeness, classical, intuitionistic, modal and substructural logics, applications and interpretations, inferentialism, and meta-theoretical questions at the interface of logic and philosophy.

Event details:

Dates: 9–11 February 2026
Location: Room 349, Senate House (South Block), Malet Street, London WC1E 7HU, UK

Times:
9 February: 09:30–16:00
10 February: 10:00–16:00
11 February: 10:00–13:00

The symposium will feature invited talks and a dedicated PhD session with presentations from early-career researchers. Confirmed speakers include:

Peter Schroeder-Heister, University of Tübingen Leonardo Ceragioli, Università degli Studi di Milano Will Stafford, Kansas State University (remote) Matthew Collinson, University of Aberdeen Timo Eckhardt, University College London Gabriele Brancati Abate, University College London Pinaki Chakraborty, University College London Luiz Carlos Pereira, Pontifical Catholic University of Rio de Janeiro (remote) Victor Barroso-Nascimento, University College London Ekaterina Piotrovskaya, University College London Maria Osório Oliveira Costa, Universidade de Lisboa and University College London Joaquim Waddington, University College London

Registration.

Participants are invited to register via the Institute of Philosophy registration portal at:

https://philosophy.sas.ac.uk/news-events/events/6th-symposium-proof-theoretic-semantics

Early registration is encouraged.

This symposium is part of the Proof-theoretic Semantics Network and aims to foster interaction across communities in logic and philosophical semantics. We welcome participation from philosophers, logicians, and graduate students working in related areas.

For full details, including programme updates, registration links, and accommodation suggestions, please visit the symposium website:

https://www.pts-symposium.com/schedule

Please feel free to circulate this announcement to interested colleagues.

Best wishes,

Alex

—

Dr. Alexander V. Gheorghiu
New Frontiers Fellow
Cyberphysical Systems Group
School of Electronics and Computer Science (ECS) University of Southampton

Honorary Research Fellow
Principles of Programming Languages, Logic, and Verification Department of Computer Science University College London

alexvgheo@gmail.com
https://www.alexandergheorghiu.com/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php