Le Jeudi 16 Juin et Vendredi 17 Juin 2016 auront lieu à l’IRIF (Institut
de Recherche en Informatique Fondamentale, actuellement PPS et LIAFA),
les journées annuelles du Gt-Verif.
Le programme est en cours d’élaboration, tout comme l’organisation de
ces journées, mais pensez déjà à réserver la date.
Vous trouverez ici http://gt-verif.loria.fr/Wiki.jsp?page=2013 des
informations sur les journées des années passées.