Présentation
La notion d'algorithme est aujourd'hui omniprésente, non seulement dans le discours scientifique, mais aussi dans celui de la vie quotidienne, grâce à la place centrale que l'informatique occupe désormais dans notre société. Les algorithmes deviennent alors l'objet d'une réflexion qui n'est plus seulement formelle et mathématique, mais également juridique et éthique, visant à réglementer leurs usages. Toutefois, lorsque l'on parle d'algorithmes dans ces différents contextes (mathématiques, juridique, éthique, sociale, etc.), parle-t-on toujours de la même notion ? Faut-il considérer l'algorithme comme une notion ouverte à différents usages et à des interprétations multiples, ou bien s’agit-il d'un concept qui devrait être normé d’un point de vue logico-épistémologique ?
Programme
6 Octobre
14h00 : L’incomplétude ou le foutu second ordre
Jean-Yves Girard
15h00 : Pause-café
15h15 : Deepfakes : enjeux et défis de la régulation
Célia Zolynski
16h15 : Pause-café
16h30 : La standardisation de l’AI act : entre transcription et traduction normative
Charlotte Barot
17h30 : Pause-café
17h45 : Inspirations d’Auteurs : quelques logiques du droit d’auteur implémentant l’IA générative
Morgan Morcel
18h45 : Fin de la 1ère journée
7 Octobre
9h30 : Sur les normes et l’interaction entre logique et droit chez Kant (Critique de la Raison Pure)
Michele Abrusci
10h30 : Pause-café
10h45 : Girard, Sohn-Rethel et l’abstraction réelle : une perspective matérialiste
Alain Lecomte
11h45 : Pause déjeuner
14h00 : Le prétendu problème du choix de e en confidentialité différentielle
Edwige Cyffers
15h00 : Pause-café
15h15 : Formaliser le raisonnement normatif : étude comparée entre logique et IA
Perceval Pillon
16h15 : Pause-café
16h30 : Algorithmes : un pont entre “L’approche Langage de programmation” et “L’approche Apprentissage Machine (IA)” ?
Jean-Baptiste Joinet
17h30 : Clôture
Entrée libre
Colloque organisé par Alberto Naibo, Univ. Paris 1, Institut d'histoire et de philosophie des sciences et des techniques - IHPST et Pierre-Yves Quiviger, Univ. Paris 1, ISJPS, dans le cadre du groupe de réflexion Normes, animé aussi par Jean-Yves Girard, Jean-Baptiste Joinet, Michele Abrusci et Luc Pellissier, avec le soutien du projet CAPES-COFECUB « Logique et intelligibilité des processus computationnels » et du projet ANR « La géométrie des algorithmes » (GoA)