SAVE THE DATE! PACM∧N Workshop

Workshop on Proof, Argumentation, Computation, Modalities And Negation (PACM∧N)

A workshop on Proof, Argumentation, Computation, Modalities And Negation will be held from the 14th to the 16th of May 2025 in Rome, Italy.

Scientific and organizing committee:
- Giulio Fellin (Università di Brescia)
- Roberto Maieli (Università Roma Tre)
- Sara Negri (Università di Genova)
- Peter Schuster (Università di Verona)
- Lorenzo Tortora de Falco (Università Roma Tre)
- Margherita Zorzi (Università di Verona)

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.

Location: Argiletum (Via della Madonna dei Monti, 40 – 00184 Roma).

More details will be available on the workshop website.