Le séminaire Vérification et Preuves

Le séminaire SVP a lieu tous les deux mois, en alternance entre le LRI et le LSV. Le séminaire est public et ne nécessite aucune inscription préalable.

Séminaires passés

Interoperability between proof systems: the triumvirate of automation, expressivity, and safety

Date
Le vendredi 28 octobre 2016 à 10:00
Lieu
Amphi du bâtiment 660 (LRI)
Orateur
Chantal Keller (LRI)


À propos du LSV