Actualités Verimag
Séminaires
-
Demain,
Christine Rizkallah
(Université de Melbourne)
le 9 novembre 2026 à
14h00 :
« Towards Facilitating Verification across Language Boundaries »
-
Dans 4 jours,
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 semaine,
Benjamin Bonneau
(Verimag)
le 16 novembre 2026 à
09h00 :
« Propagation of semantic information in a verified compilation pipeline »
(Thesis)
-
Dans 1 semaine,
Clement Chavanon
(IRISA - EPICURE Team)
le 19 novembre 2026 à
13h30 :
« Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
Séminaires
- Demain, Christine Rizkallah (Université de Melbourne) le 9 novembre 2026 à 14h00 : « Towards Facilitating Verification across Language Boundaries »
- Dans 4 jours, 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 semaine, Benjamin Bonneau (Verimag) le 16 novembre 2026 à 09h00 : « Propagation of semantic information in a verified compilation pipeline » (Thesis)
- Dans 1 semaine, Clement Chavanon (IRISA - EPICURE Team) le 19 novembre 2026 à 13h30 : « Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
