| At line 8 added one line |
|
| At line 9 removed one line |
| [{Image src='http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGTtiny.png' link='http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGTsmall.png' caption='Affiche des journées 2015'}] |
| At line 11 added 2 lines |
| [{Image src='http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGTtiny.png' link='http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGTsmall.png' caption='Affiche des journées 2015'}]--> |
| <!-- |
| At line 16 changed one line |
| Les cinquièmes journées annuelles du GT Vérification ont eu lieu les 29, 30 et 31 mai 2017, au [LACL|http://www.lacl.fr/], à Créteil. |
| Les cinquièmes journées annuelles du GT Vérification seront organisées conjointement avec les journées du [GT ALGA|https://www.irif.fr/~serre/GT_ALGA/index.html] et auront lieu les 29, 30 et 31 mai 2017 par le [LACL|https://www.lacl.fr/en/] dans [l'amphi 3 (rouge)|http://www.u-pec.fr/servlet/com.univ.collaboratif.utils.LectureFichiergw?ID_FICHIER=1259768729367] de [l'UPEC|http://www.u-pec.fr/], à Créteil. |
| At line 38 changed one line |
| Les journées 2017 du GT Vérification sont organisées en six demi-journées thématiques comprenant un exposé invité et de plus courtes présentations de chercheurs juniors, doctorants et post-doctorants. |
| Les journées 2017 du GT Vérification sont organisées en six demi-journées thématiques comprenant un exposé invité et de plus courtes présentations de chercheurs juniors, doctorants et post-doctorants. |
| <!--Le [Programme|Programme2015].--> |
| At line 44 removed 4 lines |
| * __[Amélie Gheerbrant|https://www.irif.fr/~amelie/]__ (IRIF, Paris) |
| * __[Matteo Mio |http://perso.ens-lyon.fr/matteo.mio/doku.php]__ (LIP, ENS Lyon) |
| * __[Laurent Doyen|http://lsv.fr/~doyen/]__ (LSV, ENS Cachan) |
| * __[Emmanuel Filiot|http://www.ulb.ac.be/di/ssd/filiot/]__ (ULB, Bruxelles) |
| At line 49 changed one line |
| * __[Jannik Dreier|https://members.loria.fr/JDreier/]__ (LORIA, Nancy) Verifying Verifiability: The Case of Auctions and Exams |
| * __[Laurent Doyen|http://lsv.fr/~doyen/]__ (LSV, CNRS ENS Cachan) |
| * __[Jannik Dreier|https://members.loria.fr/JDreier/]__ (LORIA, Nancy) |
| * __[Emmanuel Filiot|http://www.ulb.ac.be/di/ssd/filiot/]__ (ULB, Bruxelles) |
| * __[Amélie Gheerbrant|https://www.irif.fr/~amelie/]__ (IRIF, Paris) |
| * __[Matteo Mio |http://perso.ens-lyon.fr/matteo.mio/doku.php]__ (LIP, CNRS ENS Lyon) |
| At line 61 changed 2 lines |
| * Inscriptions<!-- * %%(text-decoration:line-through)[Inscriptions | Register2015]%%--> |
| * [Informations locales|Local2015] |
| * [Informations locales | Local2015] |
| <!--* [Inscriptions | Register2015]--> |
| * [Programme détaillé | Programme17] et le [pdf | https://lacl.fr/~youalhadj/GT-Verif/ProgrammeStandalone.pdf] |
| At line 65 changed one line |
| <!-- [Programme détaillé|Programme2015]--> |
| <!-- [détaillé|programme2017] [ pdf|Programme2015]--> |
