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.
- Pour rejoindre le LRI : suivre le lien (bàt 650, bàt 660) ou le lien (bàt 640)
- Pour rejoindre le LSV : suivre le lien
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)