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? »
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? »