Colloque | Logique, droit, IA : penser les algorithmes

Le colloque est organisé avec le soutien du projet CAPES-COFECUB "Logique et intelligibilité des processus computationnels" (coord. Jean-Baptiste Joinet) et du projet ANR "La géométrie des algorithmes" (GoA) (coord. Alberto Naibo).
 

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 du colloque

 

Lundi 6 octobre (salle de conférences de l’IHPST, 2e étage)

• 14h-15h Jean-Yves GIRARD (CNRS), "L’incomplétude ou le foutu second ordre"
• 15h15-16h15 Célia ZOLYNSKI (Univ. Paris 1, IRJS), "Deepfakes : enjeux et défis de la régulation"
• 16h30-17h30 Charlotte BAROT (CNIL), "La standardisation de l’AI act : entre transcription et traduction normative"
• 17h45-18h45 Morgan MORCEL (Univ. Côte d'Azur), TBA

 

Mardi 7 octobre (salle de conférences de l’IHPST, 2e étage)

• 9h30-10h30 Michele ABRUSCI (Univ. Rome 3), "Sur les normes et l’interaction entre logique et droit chez Kant (Critique de la Raison Pure)"
• 10h45-11h45 Alain LECOMTE (Univ. Paris 8), "Girard, Sohn-Rethel et l’abstraction réelle : une perspective matérialiste"
• 14h-15h Edwige CYFFERS (Institute of Science and Technology Austria), "Le prétendu problème du choix de ε en confidentialité différentielle"
• 15h15-16h15 Perceval PILLON (Univ. Paris 1, IHPST), "Formaliser le raisonnement normatif : étude comparée entre logique et IA"
• 16h30-17h30 Jean-Baptiste JOINET (Univ. Lyon 3, IRPHIL), "Algorithmes : un pont entre “L’approche Langage de programmation” et “L’approche Apprentissage Machine (IA)” ?"