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
Synthèse de contrôle pour des systèmes gouvernés par des équations différentielles en utilisant la méthode d'Euler
- Date
- Le mardi 23 mai 2017 à 10:00
- Lieu
- LSV (amphi Chemla, Institut d'Alembert)
- Orateur
- Laurent Fribourg (LSV)