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 »