Conference Editions
- PACM∧N 2024: Università degli Studi di Verona, Verona, March 20–22, 2024
- PACM∧N 2025: Università degli Studi "Roma Tre", Rome, May 14–16, 2025
- PACM∧N 2026: Università degli Studi di Verona, Verona, June 10–12, 2026
Goal
The conference 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.
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.