Verimag News
Seminars
-
In 23 hours,
Tiago Cogumbreiro
(University of Massachusetts, Boston)
on 9 October 2025 at
14h00 :
« Verifying GPU programs with Memory Access Protocols »
-
In 1 week,
Nicolas Chappe
(Verimag)
on 16 October 2025 at
14h30 :
« Representing and reasoning about nondeterministic programs »
-
In 1 month,
Yann Herklotz
(VCA lab at EPFL (CH))
on 13 November 2025 at
15h00 :
« A venir »
-
In 1 month,
Jannik LAVAL
(DISP - IUT Lumière de Lyon2 )
on 4 December 2025 at
14h00 :
« A VENIR (thème Cybersécu) »
Conferences
- Synchron 2025 - November 24-28 2025
(in 1 month)
Seminars
- In 23 hours, Tiago Cogumbreiro (University of Massachusetts, Boston) on 9 October 2025 at 14h00 : « Verifying GPU programs with Memory Access Protocols »
- In 1 week, Nicolas Chappe (Verimag) on 16 October 2025 at 14h30 : « Representing and reasoning about nondeterministic programs »
- In 1 month, Yann Herklotz (VCA lab at EPFL (CH)) on 13 November 2025 at 15h00 : « A venir »
- In 1 month, Jannik LAVAL (DISP - IUT Lumière de Lyon2 ) on 4 December 2025 at 14h00 : « A VENIR (thème Cybersécu) »
Conferences
- Synchron 2025 - November 24-28 2025 (in 1 month)

