PACM∧N 2025, a workshop on Proof, Argumentation, Computation, Modalities And Negation, will be held from the 14th to the 16th of May 2025 in Rome, Italy. Participants will investigate sound proof construction, principles of persuasive argumentation, and the role of computation in formalising logical structures.
The structured program 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.
On Wednesday 14th of May Carlo Proietti of the Cnr-Istituto di Linguistica Computazionale “Antonio Zampolli” (CNR-ILC), in the framework of the EPICA project, will give a talk entitled “Argument and Belief“.