NORMES 2026

The 4rth NORMES workshop will be held in Bologna, on November 4-5, 2026.

View of Bologna
Photo: Strolicfurlan

Created four years ago, the NORMES group (successor to a previous multidisciplinary research collective, LIGC, focused on logic, computer science, philosophy and their interactions with other fields) has aimed to foster transdisciplinary and philosophical reflection on the many contemporary interactions between computer science, logic, and law (as well as the theoretical foundations of these interactions). Three previous editions have been organized:

The scientific committee for the Bologna workshop has proposed the following general theme for the 2026 meeting: “Norming normes/Normare le norme/Normer les normes”. Behind this title—which is quite abstract and may appear somewhat narrow or restrictive—the goal is to stimulate reflection through diverse and open perspectives on the interfaces between computer science, logic, and law. This encompasses argumentation and formalization, the use or role of logic and computer science (broadly defined, including AI) in legal theory, and even computer science as a subject of law itself.

Scientific commmittee

Invited speakers

Poster

[Versione attuale della locandina do Workshop / Version courante de l’affiche de la rencontre / Current version of the workshop’s poster]

Programme

MERCOLEDI/MERCREDI 04/11/2026 (pomeriggio/après-midi/afternoon) :

14:00-15:00	Jean-Yves GIRARD (CNRS, émérite)
			Tenons et mortaises
			
15:00-16:00	Paolo PISTONE (LIP, équipe PLUME, ENS de Lyon)
	The Garden of Forking Paths: Logic, Combinatorics and the Problem of Program Correctness
	
Pausa/Pause
16 :30-17:30	Pierre-Yves QUIVIGER (UFR de Philosophie, IHPST, Univ. Paris 1 Panthéon-Sorbonne)
	Les IA rêvent-elles de moutons électriques ?	
	
17:30-18:30	Antonino ROTOLO (Università di Bologna, Scienze Giuridiche e Filosofia del diritto)
TBA

GIOVEDI/JEUDI 05/11/2026 (mattino/ matin/morning)

09:00-10:00	Alberto NAIBO (UFR de Philosophie, IHPST, Université Paris 1 Panthéon-Sorbonne) 
	Quand faut-il parler d'algorithmes? - 1ère partie 
	
10:00-11:00	Thomas SEILLER (CNRS, LIPN, Université Sorbonne Paris-Nord)
	Quand faut-il parler d'algorithmes? -  2ème partie
	
Pausa/Pause

11:20-12:20	Teresa NUMERICO (Università degli studi di Roma Tre, Dipartimento di filosofia)
	Cosa significa “seguire una procedura” da Wittgenstein al Machine Learning
	
Pausa pranzo/pause déjeuner

GIOVEDI/JEUDI 05/11/2026 (pomeriggio/après-midi/afternoon)

14:00-15:00	Roberta CALEGARI (Università di Bologna, Department of Computer Science)
	From Norms to Computation: Operationalising Legal and Ethical Requirements in AI Systems
	
15:00-16:00	Filippo FERRARI (Università di Bologna, Dipartimento dell Arti)
	La normatività della logica per il ragionamento
	
Pausa/Pause

16:15-17:15	Giovanni SARTOR (ALMA-AI, Università di Bologna)
			(joint work with Emiliano LORINI, IRIT, CNRS, Toulouse University)
			Reasons and arguments: A Logic-Based Deductive Account

Practical information

The conference will take place in November 2026 over three half-days:

It will be held in the Sala Manfredi at the Academy of Sciences of the Institute of Bologna (Accademia delle Scienze dell’Istituto di Bologna), located at Via Zamboni 31, 40126 Bologna.

Funders

The Bologna edition of the NORMES workshop is organized with the financial support of :

Unibo IRN-LI IRPhiL IHPST [European Union]