Events

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

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

  3. UCL PPLV Symposium on Proof-theoretic Semantics.

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