Events

  1. Sixth Symposium on Proof-theoretic Semantics, 9-11 February 2026, Institute of Philosophy, University of London.

  2. Midlands Graduate School 2025, Sheffield, UK, 7-11 April 2025.

  3. Fifth Symposium on Proof-theoretic Semantics, 4-6 February 2025, Institute of Philosophy, University of London.

  4. BCS FACS Peter Landin Semantics Seminar, December 2024: report by Brian Monahan and Bill Stoddart.

  5. Leverhulme Ecumenical Project, Kick-off Meeting, UCL, November 2024.

  6. 4th Symposium on Proof-theoretic Semantics, ESSLLI 2024, Leuven.

  7. PymFest, UCL, 2024.

  8. Proof-theoretic Semantics and Truth, Bristol, December 2023

  9. Symposium on Proof-theoretic Semantics at Tableaux 2023.

  10. The UCL PPLV Symposium on Proof-theoretic Semantics (a sequence of meetings).

  11. UCL Modelling Methodology Workshop, 17 May 2022. Please ask for more information.

  12. 1st Workshop on Approaches to Modelling Heterogeneous Interacting Systems: details. In Association with Financial Cryptography and Data Security '22, Grenada, 2-6 May 2022.

  13. World Logic Day 2022 at UCL: The meaning of proofs.