Add new attachment

Only authorized users are allowed to upload new attachments.

This page (revision-50) was last changed on 15-Mar-2018 17:50 by Nathalie Bertrand

This page was created on 20-Mar-2017 18:05 by oualhadj

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

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 changed 6 lines
* __[Amélie Gheerbrant|https://www.irif.fr/~amelie/]__ (IRIF, Paris) %%block %%( font-size: 75%)TBA%%
* __[Matteo Mio |http://perso.ens-lyon.fr/matteo.mio/doku.php]__ (LIP, ENS Lyon)%%block %%( font-size: 75%)TBA%%
* __[Laurent Doyen|http://lsv.fr/~doyen/]__ (LSV, ENS Cachan)%%block %%( font-size: 75%)TBA%%
* __[Emmanuel Filiot|http://www.ulb.ac.be/di/ssd/filiot/]__ (ULB, Bruxelles)%%block %%( font-size: 75%)TBA%%
* __[Olivier Bournez|http://www.lix.polytechnique.fr/~bournez/i.php/Main/HomePage]__ (LIX, Palaiseau)%%block %%( font-size: 75%)TBA%%
* __[Jannik Dreier|https://members.loria.fr/JDreier/]__ (LORIA, Nancy)%%block %%( font-size: 75%)Verifying Verifiability: The Case of Auctions and Exams\\
* __[Olivier Bournez|http://www.lix.polytechnique.fr/~bournez/i.php/Main/HomePage]__ (LIX, Palaiseau)
* __[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]-->
Version Date Modified Size Author Changes ... Change note
50 15-Mar-2018 17:50 4.583 kB Nathalie Bertrand to previous Journées annuelles du GT-Verif ==> JA-2017
49 24-May-2017 11:07 4.583 kB oualhadj to previous | to last
48 24-May-2017 11:06 4.56 kB oualhadj to previous | to last
47 24-May-2017 11:05 4.561 kB oualhadj to previous | to last
46 23-May-2017 15:07 4.55 kB oualhadj to previous | to last
45 23-May-2017 14:12 4.551 kB oualhadj to previous | to last
44 23-May-2017 14:09 4.544 kB oualhadj to previous | to last
43 23-May-2017 14:09 4.546 kB oualhadj to previous | to last
42 23-May-2017 12:55 4.553 kB oualhadj to previous | to last
41 23-May-2017 12:52 4.546 kB oualhadj to previous | to last
« This page (revision-50) was last changed on 15-mars-2018 17:50 by Nathalie Bertrand