Workshop "Mathématiques et droit, autour de la démonstration assistée par informatique"

Culture

Lundi 09 décembre 2019

09-12-2019 - 14h00 à 18h30 - MSHS Sud-Est - salle 005

Workshop "Mathématiques et droit, autour de la démonstration

assistée par informatique"



Dans le cadre du programme ALDRAI (Administration Law, Distant Reading, Artificial Intelligence) de l'Académie 5 de l'IDEX UCA JEDI, le CRHI organise le lundi 09 décembre 2019 de 14h00 à 18h30, un workshop intitulé "Mathématiques et droit, autour de la démonstration assistée par informatique" avec Yves Bertot (INRIA), Gilles Dowek (ENS Paris), Claude Lobry (CRHI, UCA) et Guy Mallet (Université de La Rochelle).

Partager cet article :