Date : 28 septembre 2022
Objet : Etat de l'art en Sureté, Vérification et Confiance
Intervenants :
- Jean-Michel Loubes, Professeur à l'Université Toulouse Paul Sabatier : « Panorama sur l'IA de confiance : enjeux et acteurs en France »
- David Pichardie, Professeur à l'ENS Rennes / Meta: « Analyse sémantique des logiciels par assistants de preuve et analyse statique »
- Karthik Bhargavan, DR Inria Paris: « High-Assurance Cryptographic Software »
Recommandations:
A venir.
Présentations :
Présentation de Jean-Michel Loubes