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