Proof, Argumentation, Computation, Modalities And Negation (PACM∧N)
Verona (IT), June 10–12, 2026
A workshop on Proof, Argumentation, Computation, Modalities And Negation will be held from 10th to 12th June 2026 in Verona, Italy.
Venue:
Aula SMT.1Università degli Studi di Verona – Polo Universitario e Museale "Santa Marta"
Via Cantarane, 24 – Verona
Programme
Link to the programme page.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.Under the auspices of
List of speakers
TBA.Schedule and abstracts
TBAWorkshop venue
Aula SMT.1
Polo Universitario e Museale "Santa Marta"
Università degli Studi di Verona
Via Cantarane, 24 – Verona
How to get here
By bus:- Line 31, Line 32, Line 33: bus stop "Via San Nazaro"
-
Line 11,
Line 12,
Line 13,
Line 51,
Line 52,
Line 72:
bus stop "Via XX Settembre" (*) / "Porta Vescovo"
(*) Please note that due to ongoing construction works, the "Via XX Settembre" bus stop is temporarily suspended but may be re-activated by the time of the workshop. - Line 74: bus stop "Porta Vescovo"
By train:
- From the "Verona Porta Vescovo" train station: The venue can be reached with an approximately 15-minute walk.
- From the "Verona Porta Nuova" train station: Either take a train to "Verona Porta Vescovo", or Bus 11, 12, 13, 51, or 52 (see above).
Organising Committee
Giulio Fellin & Margherita Zorzi
Dipartimento di Informatica,
Università degli Studi di Verona
Scientific Committee
Sara Negri
Dipartimento di Matematica
Università degli Studi di Genova, Italy
Peter Schuster
Dipartimento di Informatica
Università degli Studi di Verona, Italy
Lorenzo Tortora de Falco
Dipartimento di Matematica e Fisica
Università degli Studi Roma Tre, Italy
