Events

LOGIC SEMINAR VERONA

I mantain the website of the Logic Seminar at the University of Verona.

CONFERENCES

I’ve been in the Organising Committee of the International Conference on Applied Proof Theory, which was held from 29th August to 2nd September 2022 in Pescara, Italy.

I’ve been the Collector for the Dagstuhl Seminar 21472 “Geometric Logic, Constructivisation, and Automated Theorem Proving”, which was held from 21st to 26th November 2021 in Daghstul, Germany.