Proof, Argumentation, Computation, Modalities And Negation

14 - 16 May 2025 - Rome (Italy)

A workshop on Proof, Argumentation, Computation, Modalities And Negation will be held from the 14th to the 16th of May 2025 in Rome, Italy

scientific and organizing committee:

Giulio Fellin (Università di Verona)

Roberto Maieli (Università Roma Tre)

Sara Negri (Università di Genova)

Peter Schuster (Università di Verona)

Lorenzo Tortora de Falco (Università Roma Tre)

Margherita Zorzi (Università di Verona)

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.

List of Speakers

Vito Michele Abrusci - Università Roma Tre
Matteo Acclavio - University of Sussex
Robin Adams - Chalmers University of Technology, Gothenburg University
Gabriele Buriola - University of Verona
Davide Catta - Université Sorbonne Paris Nord
Fabio Aurelio D'Asaro - Università degli Studi di Verona
Raffaele Di Donna - Université Paris Cité, Università Roma Tre
Rémi Di Guardia - IRIF, CNRS (Université Paris Cité, France)
Silvio Ghilardi - Department of Mathematics, Università degli Studi di Milano
Marianna Girlando - University of Amsterdam
Stefano Guerrini - LIPN, Université Sorbonne Paris Nord
Hugo Herbelin - IRIF-INRIA
Federico Olimpieri - Aix-Marseille Université
Eugenio Orlandelli - Università of Bologna
Matteo Palazzo - Università degli Studi di Torino
Marco Pedicini - Università Roma Tre
Cosimo Perini Brogi - IMT School for Advanced Studies Lucca
Carlo Proietti - CNR - Institute for computational linguistics
Adrien Ragot - Université Sorbonne Paris Nord & Università Roma Tre
Matteo Tesi - Technische Universität Wien
Kees van Berkel - TU Wien
Lionel Vaux Auclair - I2M, Aix-Marseille Université, France
Benoît Valiron - LMF - CentraleSupélec - U. Paris Saclay
Cheng-Syuan Wan - Tallinn University of Technology
Franziskus Wiesnet - TU Wien

Programme

Wednesday 14th of May

11:00 - welcome
11:30 - Abrusci12:00 - Buriola
12:30 - lunch
14:45 - Catta15:30 - D’Asaro
16:00 - coffee
16:30 - van Berkel17:15 - Proietti
18:00 - closure

Thursday 15th of May

9:00 - Acclavio 9:45 - Ragot
10:30 - coffee
11:00 - Olimpieri11:30 - Di Donna12:00 - Wan
12:30 - lunch
14:45 - Tesi15:30 - Ghilardi
16:00 - coffee
16:30 - Perini Brogi17:00 - Girlando17:30 - Orlandelli
18:00 - closure
19:00 - social dinner

Friday 16th of May

9:00 - Guerrini 9:45 - Vaux Auclair
10:30 - coffee
11:00 - Herbelin11:30 - Palazzo12:00 - Di Guardia
12:30 - lunch
14:45 - Adams15:30 - Valiron
16:15 - coffee
16:45 - Pedicini17:30 - Wiesnet

18:00 - farewell