GdR GPL

Ce séminaire en ligne du groupe de travail "Langages et Vérification de Programmes" du GdR "GPL" du CNRS a lieu le 12 mars 2021.
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 sur "zoom", des travaux récents des membres de ce groupe sous forme d'une série d'exposés.

Plus d'informations

[[{"fid":"8132","view_mode":"default","fields":{"format":"default","alignment":""},"link_text":" Programme","type":"media","field_deltas":{"1":{"format":"default","alignment":""}},"attributes":{"class":"media-element file-default","data-delta":"1"}}]]