I maintain the website of the Logic Seminar at the University of Verona. The seminar provides a meeting place for researchers working in logic and related fields.
Visit the Logic Seminar website ↗I have served on scientific and organising committees for several conferences and workshops.
Pollinating Syntax: Proofs, Modalities and Constructivism brings together researchers at the intersection of proof theory, modal logic and constructive reasoning. The conference explores how syntactic methods illuminate the structure of logical systems and connect different logical traditions.
Conference website ↗
Proof, Argumentation, Computation, Modalities and Negation. A recurring conference series for discussion of developments in logic, argumentation, computation, modalities and negation, encouraging exchange among researchers in mathematics, computer science, philosophy and linguistics.
Taming the Infinite: Logic, Algebra, and Constructive Mathematics brought together researchers across logic, algebra and the foundations of mathematics, including constructive algebra, set theory, topology, proof theory and logical methods in computer science.
Workshop website ↗
The workshop focused on proof theory, its relationship with mathematical practice, and the computational information that proofs can provide, including programme extraction, proof mining and constructive methods.
Conference information ↗
I served as the Collector for this seminar.
Seminar information ↗