Call for Participation: 6th Symposium on Proof-theoretic Semantics — 9–11 February 2026, London

Call for Participation: 6th Symposium on Proof-theoretic Semantics — 9–11 February 2026, London

[Alex Gheorghiu]

[-- Attachment #1: Type: text/plain, Size: 3739 bytes --]

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<https://url.au.m.mimecastprotect.com/s/7HOACE8wlRC3j7XrJswhLH7Kswv?domain=urldefense.com>

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<https://url.au.m.mimecastprotect.com/s/6HNICJyBZ6tqoJMGmhLs1Hy2jGP?domain=urldefense.com>

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<mailto:alexvgheo@gmail.com>
https://www.alexandergheorghiu.com/<https://url.au.m.mimecastprotect.com/s/3p37CL7Eg9fR2W8xpUguYHybcQ7?domain=urldefense.com>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 6461 bytes --]