Verimag News
Seminars
-
Tomorrow,
Christine Rizkallah
(Université de Melbourne)
on 9 November 2026 at
14h00 :
« Towards Facilitating Verification across Language Boundaries »
-
In 4 days,
David Monniaux
(CNRS - VERIMAG)
on 12 November 2026 at
14h00 :
« The existence of polyhedral invariants is undecidable for linear systems »
-
In 1 week,
Benjamin Bonneau
(Verimag)
on 16 November 2026 at
09h00 :
« Propagation of semantic information in a verified compilation pipeline »
(Thesis)
-
In 1 week,
Clement Chavanon
(IRISA - EPICURE Team)
on 19 November 2026 at
13h30 :
« Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
Seminars
- Tomorrow, Christine Rizkallah (Université de Melbourne) on 9 November 2026 at 14h00 : « Towards Facilitating Verification across Language Boundaries »
- In 4 days, David Monniaux (CNRS - VERIMAG) on 12 November 2026 at 14h00 : « The existence of polyhedral invariants is undecidable for linear systems »
- In 1 week, Benjamin Bonneau (Verimag) on 16 November 2026 at 09h00 : « Propagation of semantic information in a verified compilation pipeline » (Thesis)
- In 1 week, Clement Chavanon (IRISA - EPICURE Team) on 19 November 2026 at 13h30 : « Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
