Events

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

2. PymFest, UCL, 2024.

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

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

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

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

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

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