Séminaire du GdR "Génie de la programmation et du Logiciel"

Ce séminaire est organisé le 23 novembre prochain au LIP6 à Paris par le groupe de travail "Langages et Vérifications de Programmes" (GT LVP) du groupement de recherche "Génie de la programmation et du Logiciel" du CNRS. Il sera également diffusé en direct sur internet. Une série d’exposés présentera des travaux récents de membres du groupe de travail. L'événement est organisé localement par Emmanuel Chailloux et Antoine Miné (Sorbonne Université, LIP6) et à distance par Alain Giorgetti (Université de Franche-Comté, FEMTO-ST) et Julien Signoles (Université Paris-Saclay, CEA List), co-responsables du GT LVP.

Le programme est diffusé sur la page : https://groupes.renater.fr/wiki/lvp/public/2109journee

Contact : Alain Giorgetti