Verimag News
Seminars
-
In 2 days,
Véronique Cortier
(CNRS - LORIA)
on 25 November 2025 at
14h00 :
« Electronic voting: design, attack, and formal verification »
-
In 1 week,
Sylvain BOULME
(Verimag)
on 1 December 2025 at
14h00 :
« Introduction à la programmation orientée objet en Crystal »
-
In 1 week,
Jannik LAVAL
(DISP - IUT Lumière de Lyon2 )
on 4 December 2025 at
14h00 :
« A VENIR (thème Cybersécu) »
-
In 2 weeks,
Thaïs Baudon
(University of Kent (UK))
on 11 December 2025 at
14h00 :
« Compiling types and other high-level language features for performance or security »
Conferences
- Synchron 2025 - November 24-28 2025
(in 1 week)
Seminars
- In 2 days, Véronique Cortier (CNRS - LORIA) on 25 November 2025 at 14h00 : « Electronic voting: design, attack, and formal verification »
- In 1 week, Sylvain BOULME (Verimag) on 1 December 2025 at 14h00 : « Introduction à la programmation orientée objet en Crystal »
- In 1 week, Jannik LAVAL (DISP - IUT Lumière de Lyon2 ) on 4 December 2025 at 14h00 : « A VENIR (thème Cybersécu) »
- In 2 weeks, Thaïs Baudon (University of Kent (UK)) on 11 December 2025 at 14h00 : « Compiling types and other high-level language features for performance or security »
Conferences
- Synchron 2025 - November 24-28 2025 (in 1 week)
