Verimag News
Seminars
-
In 1 week,
Yann Herklotz
(VCA lab at EPFL (CH))
on 13 November 2025 at
15h00 :
« Towards scalable verification and efficient hardware generation using verified high-level synthesis tools »
-
In 3 weeks,
Oussama Oulkaid
(Verimag - LIP (Lyon) - Aniah)
on 21 November 2025 at
14h00 :
« Formal models of integrated circuits for transistor level electrical verification »
(Thesis)
-
In 3 weeks,
Véronique Cortier
(CNRS - LORIA)
on 25 November 2025 at
14h00 :
« Electronic voting: design, attack, and formal verification »
-
In 1 month,
Sylvain BOULME
(Verimag)
on 1 December 2025 at
14h00 :
« Introduction à la programmation orientée objet en Crystal »
Conferences
- Synchron 2025 - November 24-28 2025
(in 1 month)
Seminars
- In 1 week, Yann Herklotz (VCA lab at EPFL (CH)) on 13 November 2025 at 15h00 : « Towards scalable verification and efficient hardware generation using verified high-level synthesis tools »
- In 3 weeks, Oussama Oulkaid (Verimag - LIP (Lyon) - Aniah) on 21 November 2025 at 14h00 : « Formal models of integrated circuits for transistor level electrical verification » (Thesis)
- In 3 weeks, Véronique Cortier (CNRS - LORIA) on 25 November 2025 at 14h00 : « Electronic voting: design, attack, and formal verification »
- In 1 month, Sylvain BOULME (Verimag) on 1 December 2025 at 14h00 : « Introduction à la programmation orientée objet en Crystal »
Conferences
- Synchron 2025 - November 24-28 2025 (in 1 month)
