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]--> |