News

Verimag News

News

  • Junior professorship chair on verifiable / explainable artificial intelligence

    UGA is recruiting faculty under a "chaire professeur junior" on verifiable / explainable artificial intelligence.

  • Poste de professeur des universités (section 27)

    Poste PR27 Verimag/Polytech

Seminars

  • In 5 days, Sébastien Michelland (LCIS (UGA)) on 4 April 2024 at 13h30 : « Abstract Interpreters: a Monadic Approach to Modular Verification »
  • In 1 week, Andrei Paskevich (Univ. Paris-Saclay (LMF) - Inria Saclay (Toccata)) on 11 April 2024 at 14h30 : « Coma: an intermediate verification language with explicit abstraction barriers »
  • In 1 month, Matthieu Moy (Univ. Lyon 1 - LIP (CASH)) on 2 May 2024 at 14h00 : « How to Build a Broken System?  »

Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3902326

UGA CNRS INP Grenoble