Agenda des événements

Thèse - 30 nov 2020 - 14:00

Thèse
nov 30	14:00
2020

Vérification efficace de systèmes en temps réel

Victor Roussanaly (SUMO)

Métivier

de 14:00 à 18:00

Thèse - 09 mar 2020 - 14:00

Thèse
mar 09	14:00
2020

Vérification formelle du protocole d'échange de clé IKEv2

Tristan Ninet (TAMIS)

IRISA Rennes, salle Metivier

de 14:00 à 16:00