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-theoreti... 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<mailto:alexvgheo@gmail.com> https://www.alexandergheorghiu.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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>