LOGIC SEMINAR VERONA
I mantain the website of the Logic Seminar at the University of Verona.
CONFERENCES AND WORKSHOPS
I’ve been in the Organising Committee of
- Workshop on Proof, Argumentation, Computation, Modalities And Negation (PACM∧N), 20-22 March 2024, Verona, Italy.
- International Conference on Applied Proof Theory (APT22), 29 August-2 September 2022, Pescara, Italy.
I’ve been the Collector for
- Dagstuhl Seminar 21472 Geometric Logic, Constructivisation, and Automated Theorem Proving, 21-26 November 2021, Daghstul, Germany.
