L’équipe de recherche ‘Traitement de l’Information et Intelligence Artificielle’ – Laboratoire SETIME (Faculté des Sciences de Kénitra) et le Département d’Informatique de l’ENSA de Kénitra organisent un séminaire intitulé : Vérification des programmes à l’exécution à l’aide de Frama-C.

Lundi 16 Mai 2022 à 14h30 au bâtiment C de l’ENSA de Kénitra.

Le séminaire est animé par le Professeur Julien Signoles du CEA-Paris-Saclay.