Actualités Verimag
Séminaires
-
Dans 2 jours,
Antoine Besset
(ENSTA)
le 15 octobre 2026 à
14h00 :
« Monitoring ensembliste de STL : de la prediction de violation à la commande corrective en ligne »
-
Dans 1 mois,
David Monniaux
(CNRS - VERIMAG)
le 12 novembre 2026 à
14h00 :
« L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires »
-
Dans 1 mois,
Clement Chavanon
(IRISA - EPICURE Team)
le 19 novembre 2026 à
13h30 :
« Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
-
Dans 1 mois,
Basile Gros
(Université Grenoble Alpes)
le 26 novembre 2026 à
14h00 :
« Petites inversions par proxy pour Rocq »
(Thesis)
Séminaires
- Dans 2 jours, Antoine Besset (ENSTA) le 15 octobre 2026 à 14h00 : « Monitoring ensembliste de STL : de la prediction de violation à la commande corrective en ligne »
- Dans 1 mois, David Monniaux (CNRS - VERIMAG) le 12 novembre 2026 à 14h00 : « L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires »
- Dans 1 mois, Clement Chavanon (IRISA - EPICURE Team) le 19 novembre 2026 à 13h30 : « Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
- Dans 1 mois, Basile Gros (Université Grenoble Alpes) le 26 novembre 2026 à 14h00 : « Petites inversions par proxy pour Rocq » (Thesis)
