Journées ALGA & Vérif

Date: 
Lundi, 29 Mai, 2017 - Mercredi, 31 Mai, 2017
Lieu: 

LACL, Créteil

Description: 

Voir les sites des groupes de travail ALGA et Vérif pour plus d'informations. Les informations sont aussi disponible ici : http://gt-verif.loria.fr/Wiki.jsp?page=Journ%C3%A9es%20annuelles%20du%20GT-Verif.

Contacts / organisateurs : Catalin Dima et Youssouf Oualhadj