Organization of Scientific Meetings

• "Proof, Computation and Meaning", a series of three online events, September-December 2022. Co-organizer: Paolo Pistone (Bologna);

• "Proof, Computation and Meaning", workshop to be held in Tübingen in February 2020. Co-organizer: Paolo Pistone (Bologna). Cancelled due to the Coronavirus outbreak.

• "Meaning and Knowledge: Celebrating Gabriele Usberti and his work", workshop/fest held in Siena in July 2018. Co-organizer: Salvatore Pisoia Reda (ZAS Berlin/Siena);

• "Consequence and Paradox between Truth and Proof", workshop held in Tübingen in March 2017;

• "Functions, Proofs, Constructions", workshop held in Tübingen in February 2014. Co-organizer: Marco Panza (Paris);

• "Proof Theory, Meaning and Paradoxes", contributed symposium at the XIV conference of Logic Methodology and Philosophy of Science held in Nancy in  July 2011;

• "Proof and Dialogues (ProDi)", workshop held in Tübingen in February 2011. Main organizers: Peter Schroeder-Heister (Tübingen) and Chris Fermüller (TU Wien); Other co-organizer: Thomas Piecha (Tübingen);

• "Anti-realistic notions of truth", workshop held in Siena in September 2010. Main organizer: Gabriele Usberti (Siena).

Service to the profession

Since 2011, I am member of the editorial board of Topoi.