LOGIC SEMINAR VERONA
I mantain the website of the Logic Seminar at the University of Verona.
CONFERENCE ORGANISATION
I’ve been in the Scientific and Organising Committee of a few conferences and workshops:
PACM∧N
Proof, Argumentation, Computation, Modalities And Negation (PACM∧N) is a yearly conference which aims to foster networking, facilitate meetings between fellow researchers, and provide a platform for discussing the latest developments in logic, argumentation, computation, modalities, and negation.
We are currently organising the third edition:
- PACM∧N 2026, 10-12 June 2026, Verona, Italy.
- PACM∧N 2025, 14-16 May 2025, Roma, Italy.
Co-located with- The first general meeting of the International Research Network “Logic and Interaction”
- The inaugural session of the LYSMimpactΦ – “Mathematics Impacting Thinking”
- PACM∧N 2024, 20-22 March 2024, Verona, Italy.
Abstract. This workshop explores the intricate relationship between proof, argumentation, computation, modalities and negation. Participants will investigate sound proof construction, principles of persuasive argumentation, and the role of computation in formalising logical structures. The structured program, comprising expert presentations and interactive discussions, offers a formal venue for participants to advance their understanding of foundational concepts in the interdisciplinary domains of logic, mathematics, computer science, philosophy, and linguistics. We welcome participants to partake in this scholarly exploration, contributing to the collective intellectual progress within these domains.
TAMING THE INFINITE
Taming the Infinite: Logic, Algebra, and Constructive Mathematics will take place on 20 April 2026, in Verona, Italy.
APPLIED PROOF THEORY 2022
Applied Proof Theory (APT22) took place on 29 August-2 September 2022, in Pescara, Italy.
Abstract. Proofs in mathematical practice serve to warrant the truth of mathematical theorems. Proof theory, i.e. the abstract study of proofs in logic, arose from Hilbert’s programme for the foundations of mathematics; the aim of the latter was to put abstract mathematics on a firm formal basis by proving its consistency in the meta-mathematics and by finitary methods only. Gödel’s incompleteness theorems allegedly show the impossibility of Hilbert’s programme as such but thus have stood and mark the beginning of a seminal paradigm shift in proof theory: to use mathematical proofs as a rich source of computational information such as certfied algorithms and effective bounds. Current research in this fast-growing area is known under terms such as dynamical methods, program extraction, and proof mining in mathematics, computer science, and philosophy. Our aim is to present all aspects of the state-of-the-art and foster interdisciplinary exchange.
DAGSTUHL SEMINAR
I’ve been the Collector for Dagstuhl Seminar 21472 Geometric Logic, Constructivisation, and Automated Theorem Proving, 21-26 November 2021, Daghstul, Germany.
