Les prochaines journées annuelles du GT-Verif auront lieu les 28, 29 et 30 mai 2018 au Verimag (Grenoble).

Les précédentes éditions ont eu lieu:

• les 29, 30 et 31 mai 2017 au LACL (Créteil), en conjonction avec le GT-Alga;
• les 16 et 17 juin 2016, à l'IRIF, Paris;
• les 15 et 16 juin 2015 au LACL, Créteil;
• les 16-18 juin 2014 au LIP6, Paris;
• les 17 et 18 juin 2013 au LSV, Cachan.