Séminaire du GdR "Génie de la programmation et du Logiciel"
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 organise son prochain séminaire au LIP 6 à Paris le 23 novembre prochain.
Egalement diffusé en direct sur internet, ce séminaire se déroulera sur la base d'une série d'exposés qui présentera les travaux récents des 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