Lundi 9 décembre 2019 - Workshop : Mathématiques et droit, autour de la démonstration assistée par informatique

Dans le cadre du programme ALDRAI de l'Académie 5 de l'IDEX UCA JEDI, le CRHI organise le lundi 9 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). L'évènement aura lieu en salle 005 de la MSHS-Sud-Est (24 Avenue des Diables Bleus).

 


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

Organisé par le CRHI
dans le cadre du programme ALDRAI de l'Académie 5 de l'IDEX UCA JEDI

Lundi 9 décembre 2019, 14h00-18h30
salle 005 de la MSHS-Sud-Est
(24 Avenue des Diables Bleus)

  

 

Intervenants :
Yves Bertot (INRIA)
Gilles Dowek (ENS Paris)
Claude Lobry (CRHI, UCA)
Guy Mallet (Université de La Rochelle)

Organisateur :
Pierre-Yves Quiviger (CRHI, UCA)

Lieu :
salle 005 de la MSHS-Sud-Est (24 Avenue des Diables Bleus ; arrêt de tramway : Saint-Jean d'Angely)

CRHI
Université Nice Sophia Antipolis
MSHS Sud-Est