L’ENSIIE et le C-19, partenaires du Centre National de la Recherche Scientifique, ont eu la chance d’accueillir les groupes de réunion LTP (Langages, Types, Preuves) et MTV2 (Méthodes de Test pour la Vérification  et la Validation) appartenant au GDR-GPL du CNRS (Groupement De Recherche – Génie de la Programmation et du Logiciel), regroupant la communauté scientifique s’intéressant au Génie logiciel et à la Programmation.

La journée s’est déroulée sur les 6 & 7 décembre 2018, des intervenants du secteurs ont exposé leurs recherches sur les différents thèmes de ces réunions.