LOGIC SEMINAR VERONA
I mantain the website of the Logic Seminar at the University of Verona.
PACM∧N
I’ve been in the Scientific and Organising Committee of the workshop on Proof, Argumentation, Computation, Modalities And Negation (PACM∧N). We are currently at the second edition.
- PACM∧N 2024, 20-22 March 2024, Verona, Italy.
- PACM∧N 2025, 14-16 May 2025, Roma, Italy.
Co-located with- International Research Network “Logic and Interaction”
- Workshop “Mathematics Impacting Philosophy”
APPLIED PROOF THEORY 2022
International Conference on Applied Proof Theory (APT22), 29 August-2 September 2022, Pescara, Italy.
DAGSTUHL SEMINAR
I’ve been the Collector for Dagstuhl Seminar 21472 Geometric Logic, Constructivisation, and Automated Theorem Proving, 21-26 November 2021, Daghstul, Germany.
