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
Dedukti : de la revérification à la réingénierie des preuves
- Date
- Le vendredi 28 octobre 2016 à 11:00
- Lieu
- Amphi du bâtiment 660 (LRI)
- Orateur
- Gilles Dowek (LSV)