Aerial view of Verona

Proof, Argumentation, Computation, Modalities And Negation (PACM∧N)
Verona (IT), March 20–22, 2024

A workshop on Proof, Argumentation, Computation, Modalities And Negation will be held from 20th to 22nd March 2024 in Verona, Italy.


Università degli Studi di Verona – Dipartimento di Informatica
Strada Le Grazie, 15 – 37134 Verona


From the morning of Wednesday, March 20, to the afternoon of Friday, March 22.


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 patronage of

Associazione Italiana di Logica e sue Applicazioni Società Italiana di Logica e Filosofia delle Scienze Kurt Gödel Society

Restricted area.


As of today, the programme is expected to include talks by:
  • Matthias Baaz (Vienna University of Technology):
    Quantifier shifts
  • Pietro Baroni & Massimiliano Giacomin (University of Brescia):
    An introduction to computational argumentation
  • Matteo Calosci (University of Florence):
    Universal algebra in UniMath
  • Matteo Cristani (University of Verona):
    Strength and Robustness of Arguments in Defeasible Logic
  • Fabio Aurelio D'Asaro (University of Verona):
    Logic Learning meets Argumentation
  • Hugo Herbelin (Inria - IRIF):
    Proofs as programs and refutations as evaluation contexts
  • Hajime Ishihara (Toho University):
    Constructive uniform spaces
  • Nils Koepp (LMU Munich):
    Strong Negation in TCF
  • Elio La Rosa (LMU Munich - MCMP, University of Vienna - IVC):
    Epsilon Modal Logics
  • Sara Negri (University of Genoa):
    Reasoning with strong negation
  • Satoru Niki (Ruhr University Bochum):
    Provable contradictions in Relevant connexive logics of Francez and Weiss
  • Eugenio Orlandelli (University of Bologna):
    Nested sequents for quantified modal logics
  • Edi Pavlovic (LMU Munich - MCMP):
    Proof theory of free logics
  • Cosimo Perini Brogi (IMT Lucca):
    Proof systems for interpretability logics
  • Iosif Petrakis (University of Verona):
    Strong and complemented negation in constructive mathematics
  • Carlo Proietti (CNR - ILC):
    Games for Abstract Argumentation
  • Luca Roversi (University of Torino):
    Reversible computation, algorithmic expressiveness, negation
  • Helmut Schwichtenberg (LMU Munich):
    A theory of computable functionals
  • Thomas Studer (University of Bern):
    Simplicial Complexes for Epistemic Logic
  • Matteo Tesi (Vienna University of Technology):
    Sequents vs hypersequents for deontic logics



Social programme

A social dinner will be organised for Thursday, March 21st.

There is no registration fee. However, we invite participants to register here.

Workshop location

Sala "Verde"
Ca' Vignal 3 – La Piramide

Università degli Studi di Verona
Dipartimento di Informatica
Strada Le Grazie, 15 – 37134 Verona

How to get to the department

Open the map as an image (version with bus stops).

Arriving by bus

The following bus lines stop near the department:
  • Line 21 - Direction: S. Giovanni Lupatoto - Stop name: Via Regina Adelaide
  • Line 22 - Direction: S. Giovanni Lupatoto - Stop name: Via Regina Adelaide
    Please be aware that certain buses on this route conclude their journey at the Policlinico stop. It will take approximately 10 minutes to walk from there to the department.
  • Line 72 - Direction: Policlinico - Stop name: Via Da Polenta
You can also download the Verona bus app here.

Università di Verona - Dipartimento di Informatica


Giulio Fellin & Peter Schuster
Dipartimento di Informatica,
Università degli Studi di Verona