Events
Upcoming events
4th Symposium on Proof-Theoretic Semantics (@ESSLLI2024). 5-9 August 2024, Leuven. Organised by Alexander Gheorghiu & Tao Gu (PPLV group @ Department of Computer Science, UCL) [web-page]
Special session of the 2nd AMS-UMI International Joint Meeting on Proof-Theory and Theoretical Computer Science. 23-24 July 2024. University of Palermo. Organised by Ugo Dal Lago (University of Bologna), Marco Gaboardi (Boston University), Stéphane Graham-Lengrand (SRI International), Luca Paolini (University of Torino), Antonio Piccolomini d'Aragona (University of Siena) & Lorenzo Tortora de Falco (University of Roma Tre). [web-page]
Past events
Workshop: Proofs, Rules, and Meanings. 11-12 April 2024. University of St Andrews. Organised by Sophie Nagler, Francisca Silva & Viviane Fairbank. [web-page]
Workshop on Proof-Theoretic Semantics and Truth. 16-17 December 2023. University of Bristol. Organised by Will Stafford. [web-page]
3rd Symposium on Proof-theoretic Semantics (@Tableaux2023). 18-19 September 2023, Prague. Organised by Alexander Gheorghiu & Tao Gu (PPLV group @ Department of Computer Science, UCL) [web-page]