Verimag News
News
- Susanne Graf received the 2022 CAV Award
For her pioneering work on predicate abstraction
Seminars
-
In 3 weeks,
Hugo Gimbert
(CNRS (LaBRI))
on 27 October 2022 at
14h00 :
« Les algorithmes de ParcourSup »
-
In 1 month,
Xavier Denis
(LRI)
on 24 November 2022 at
14h00 :
« Deductive Verification of Higher-Order Rust Programs »
News
- Susanne Graf received the 2022 CAV Award
For her pioneering work on predicate abstraction
Seminars
- In 3 weeks, Hugo Gimbert (CNRS (LaBRI)) on 27 October 2022 at 14h00 : « Les algorithmes de ParcourSup »
- In 1 month, Xavier Denis (LRI) on 24 November 2022 at 14h00 : « Deductive Verification of Higher-Order Rust Programs »
