Verimag News
Seminars
-
In 2 days,
Benjamin Bonneau
(Verimag)
on 16 November 2026 at
09h00 :
« Propagation of semantic information in a verified compilation pipeline »
(Thesis)
-
In 5 days,
Clement Chavanon
(IRISA - EPICURE Team)
on 19 November 2026 at
13h30 :
« Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
-
In 1 week,
Dominique Larchey-Wendling
(LORIA - CNRS)
on 25 November 2026 at
15h00 :
« Constructive Substitutes for Kőnig’s Lemma »
-
In 1 week,
Basile Gros
(Université Grenoble Alpes)
on 26 November 2026 at
14h00 :
« Proxy-based small inversions for the Rocq prover »
(Thesis)
Seminars
- In 2 days, Benjamin Bonneau (Verimag) on 16 November 2026 at 09h00 : « Propagation of semantic information in a verified compilation pipeline » (Thesis)
- In 5 days, Clement Chavanon (IRISA - EPICURE Team) on 19 November 2026 at 13h30 : « Barocq: A High-Level Programming Language for Efficient and Verifiable Embedded System Code. »
- In 1 week, Dominique Larchey-Wendling (LORIA - CNRS) on 25 November 2026 at 15h00 : « Constructive Substitutes for Kőnig’s Lemma »
- In 1 week, Basile Gros (Université Grenoble Alpes) on 26 November 2026 at 14h00 : « Proxy-based small inversions for the Rocq prover » (Thesis)
