[PHILOS-L] Call for Participation: 6th Symposium on Proof-theoretic Semantics — 9–11 February 2026, London
Alexander Gheorghiu
CAUTION: This email originated outside of the University. Do not click links unless you can verify the source of this email and know the content is safe. Check sender address, hover over URLs, and don't open suspicious email attachments. |
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 Feb: 09:30–16:00
• 10 Feb: 10:00–16:00
• 11 Feb: 10:00–13:00
Confirmed activities & schedule:
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 & University College London
- Joaquim Waddington — University College London
Registration:
Participants are invited to register via the Institute of Philosophy registration portal (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
alex...@gmail.com
https://www.alexandergheorghiu.com/
Philos-L "The Liverpool List" is run by the Department of Philosophy, University of Liverpool https://www.liverpool.ac.uk/philosophy/philos-l/ Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html. Recent posts can also be read in a Facebook group: https://www.facebook.com/PhilosL/ Follow the list on Twitter @PhilosL. Follow the Department of Philosophy @LiverpoolPhilos To sign off the list send a blank message to philos-l-unsub...@liverpool.ac.uk.