[EN LIGNE] Séminaire du groupe de travail "Langages et Vérification de Programmes"

12 Mars 2021

Le CNRS vous propose de participer au séminaire en ligne du groupe de travail "Langages et Vérification de Programmes" (GT LVP) de son Groupement de recherche génie de la programmation et du logiciel (GDR GLP).

ImageGdR GPL
Alain Giorgetti

Organisé par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP, ce séminaire présentera, en ligne via le logiciel Zoom, des travaux récents des membres de ce groupe sous forme d'une série d'exposés.

> Plus d'informations

> Découvrez le programme en pièce jointe !

Horaires

De 9h à 17h15

Contact

Alain Giorgetti : 03 81 66 66 60

FEMTO-ST