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 31 changed one line
Les inscriptions aux journées sont gratuites mais pour des raisons d'organisation, il est demandé de __s'inscrire avant le 7 juin sur [cette page| Register2015]__. Les inscriptions ne pourront plus être garanties ensuite.
Les inscriptions aux journées sont gratuites mais pour des raisons d'organisation, il est demandé de __s'inscrire avant le 14 mai.
<!-- sur [cette page| Register2015]__. Les inscriptions ne pourront plus être garanties ensuite.
-->
At line 36 changed one line
Les journées 2015 du GT Vérification sont organisées en quatre 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.
<!--
At line 41 added 8 lines
-->
Orateurs invités:
* __[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)
* __[Olivier Bournez|http://www.lix.polytechnique.fr/~bournez/i.php/Main/HomePage]__ (LIX, Palaiseau)
* __[Jannik Dreier|https://members.loria.fr/JDreier/]__ (LORIA, Nancy)
At line 39 changed one line
;Bases de données:
<!--
At line 78 added one line
-->
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