%%block
%%center
!!!Journées annuelles
%%

Les [prochaines journées annuelles du GT-Verif|JA-2019] auront lieu les 17, 18 et 19 juin 2019 au [LS2N|] (Nantes).
\\

Les précédentes éditions ont eu lieu:
* [les 28, 29 et 30 mai 2018|JA-2018] au [Verimag|http://www-verimag.imag.fr/?lang=fr], Grenoble;
* [les 29, 30 et 31 mai 2017|JA-2017] au [LACL|http://www.lacl.fr/] (Créteil), en conjonction avec le GT-Alga;
* [les 16 et 17 juin 2016|JA-2016], à l'[IRIF|https://www.irif.univ-paris-diderot.fr/], Paris;
* [les 15 et 16 juin 2015|Journées annuelles 2015] au [LACL|http://www.lacl.fr/], Créteil;
* [les 16-18 juin 2014|Journées annuelles 2014] au [LIP6|http://www.lip6.fr/], Paris;
* [les 17 et 18 juin 2013|Journées annuelles 2013] au [LSV|http://www.lsv.ens-cachan.fr/], Cachan.
%%