Février 2016
Journées annuelles les 16 et 17 juin 2016 au LIAFA
Février 2015
Journées annuelles les 15 et 16 juin 2015 au LACL
Février 2014
Journées annuelles les 16, 17 et 18 juin 2014 au LIP6
Février 2013
Journées annuelles les 17 et 18 juin 2013 au LSV
Septembre 2012
Création du site web du GT Vérification.
Ce site est un wiki. Des contributeurs sont bienvenus, nous contacter pour les droits d’édition.