Journées LTP et MTV2 à l’ENSIIE, en partenariat avec le CNRS

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.

Le programme plus détaillé ci-joint

> voir l’image en plus grand

Image module
Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

div#stuning-header .dfd-stuning-header-bg-container {background-image: url(https://c-19.fr/wp-content/uploads/2016/07/pexels-photo-24464-1.jpg);background-size: cover;background-position: center center;background-attachment: scroll;background-repeat: no-repeat;}#stuning-header div.page-title-inner {min-height: 250px;}