Verimag News
News
- Tenure track research position at CNRS
Seminars
-
In 4 days,
Loup Lobet
(D-DAL team, Inria CRIStAL)
on 17 September 2026 at
14h00 :
« VIR, an intermediate representation for SIMD text processing »
-
In 2 months,
Basile Gros
(Université Grenoble Alpes)
on 26 November 2026 at
14h00 :
« Proxy-based small inversions for the Rocq prover »
(Thesis)
News
- Tenure track research position at CNRS
Seminars
- In 4 days, Loup Lobet (D-DAL team, Inria CRIStAL) on 17 September 2026 at 14h00 : « VIR, an intermediate representation for SIMD text processing »
- In 2 months, Basile Gros (Université Grenoble Alpes) on 26 November 2026 at 14h00 : « Proxy-based small inversions for the Rocq prover » (Thesis)
