Actualités Verimag
Séminaires
-
Dans 1 semaine,
Yann Herklotz
(VCA lab at EPFL (CH))
le 13 novembre 2025 à
15h00 :
« Towards scalable verification and efficient hardware generation using verified high-level synthesis tools »
-
Dans 2 semaines,
Oussama Oulkaid
(Verimag - LIP (Lyon) - Aniah)
le 21 novembre 2025 à
14h00 :
« Formal models of integrated circuits for transistor level electrical verification »
(Thesis)
-
Dans 3 semaines,
Véronique Cortier
(CNRS - LORIA)
le 25 novembre 2025 à
14h00 :
« Electronic voting: design, attack, and formal verification »
-
Dans 4 semaines,
Sylvain BOULME
(Verimag)
le 1er décembre 2025 à
14h00 :
« Introduction à la programmation orientée objet en Crystal »
Conférences
- Synchron 2025 - 24-28 Novembre 2025
(dans 3 semaines)
Séminaires
- Dans 1 semaine, Yann Herklotz (VCA lab at EPFL (CH)) le 13 novembre 2025 à 15h00 : « Towards scalable verification and efficient hardware generation using verified high-level synthesis tools »
- Dans 2 semaines, Oussama Oulkaid (Verimag - LIP (Lyon) - Aniah) le 21 novembre 2025 à 14h00 : « Formal models of integrated circuits for transistor level electrical verification » (Thesis)
- Dans 3 semaines, Véronique Cortier (CNRS - LORIA) le 25 novembre 2025 à 14h00 : « Electronic voting: design, attack, and formal verification »
- Dans 4 semaines, Sylvain BOULME (Verimag) le 1er décembre 2025 à 14h00 : « Introduction à la programmation orientée objet en Crystal »
Conférences
- Synchron 2025 - 24-28 Novembre 2025 (dans 3 semaines)
