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.
Venue:
Università degli Studi di Verona – Dipartimento di InformaticaStrada Le Grazie, 15 – 37134 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
- 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)
(Inductive) Logic Programming for XAI - 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 (and Conditionals) - Giulia Manara (Paris Cité University, Roma Tre University)
On non-commutative logic and process calculi - 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 - Matteo Palazzo & Luca Roversi (University of Torino)
Reversible computation, algorithmic expressiveness, logical negation - Edi Pavlovic (LMU Munich - MCMP )
Proof theory of free logics - Cosimo Perini Brogi (IMT School for Advanced Studies 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 - Adrien Ragot (Sorbonne Paris North University, Roma Tre University)
Untyped Net and Second Order Quantifiers - 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
Schedule and abstracts
Download here.Please note that the schedule may be subject to changes.
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 depart from the city centre and stop near the department:- Line 21 - Direction: S. Giovanni Lupatoto - Stop name: Via Teodolinda B / Via Regina Adelaide
-
Line 22 - Direction: S. Giovanni Lupatoto - Stop name: Via Teodolinda B / 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
Organisers
Giulio Fellin & Peter Schuster
Dipartimento di Informatica,
Università degli Studi di Verona
