Workshop: Realism and anti-realism. Paradigms and research programmes in logic and the philosophy of mathematics. 28-29 April 2025. Carl Friedrich von Weizsäcker-Center, University of Tübingen. Organised by Antonio Piccolomini d'Aragona (University of Tübingen) [web-page]
5th Symposium on Proof-theoretic Semantics. 4-6 February 2025, Centre for Logic, Language, and Information (CeLLI), Institute of Philosophy, School of Advanced Study, University of London. Organized by Alexander Gheorghiu, Tao Gu & David Pym (PPLV group @ Department of Computer Science, UCL) [web-page]
Kick-off meeting of our Leverhulme ECUMENICAL project. 22 November 2024. University College London. Organised by Luiz Carlos Pereira (Pontifical Catholic University of Rio de Janeiro) & Elaine Pimentel (University College London) [web-page]
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]
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]