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

Lundi 09 décembre 2019
Quand ? Le 09-12-2019,
de 14:00 à 18:30
Où ? MSHS Sud-Est - salle 005
S'adresser à
Ajouter un événement au calendrier vCal
iCal

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).

Plus d'information sur cet événement…