Verimag News
Seminars
-
In 3 days,
Alban Reynaud
(Verimag)
on 19 January 2026 at
14h00 :
« Formal Verification of Borrow-Checking by Local Commutation Diagrams »
-
In 6 days,
Joseph Sifakis
(Verimag)
on 22 January 2026 at
14h00 :
« Bringing AI to Autonomous Systems »
Seminars
- In 3 days, Alban Reynaud (Verimag) on 19 January 2026 at 14h00 : « Formal Verification of Borrow-Checking by Local Commutation Diagrams »
- In 6 days, Joseph Sifakis (Verimag) on 22 January 2026 at 14h00 : « Bringing AI to Autonomous Systems »
