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 51 removed 23 lines
* __[Diego Figueira|http://homepages.inf.ed.ac.uk/dfigueir/]__ (LaBRI, Bordeaux), ''exposé invité''
* Claudia Carapelle (Universität Leipzig, Allemagne)
* Amaldev Manuel (Uniwersytet Warszawski, Varsovie, Pologne)
;Systèmes temporisés:
* __[Nicolas Markey|http://www.lsv.ens-cachan.fr/~markey/]__ (LSV, ENS Cachan), ''exposé invité''
* Aleksandra Jovanovic (University of Oxford, Royaume-Uni)
* Stefano Minopoli (VERIMAG, Grenoble)
* Ocan Sankur (Université Libre de Bruxelles, Belgique)
;Vérification de code:
* __[Julien Signoles|http://julien.signoles.free.fr/index.fr.html]__ (CEA LIST, Saclay), ''exposé invité''
* Steven de Oliveira (CEA LIST, Saclay)
* Robin David (CEA LIST, Saclay)
* Anthony Fernandes Pirès (Fondazione Bruno Kessler)
* Jacques-Charles Mbiada Njanda (CEA LIST & INRIA Saclay)
* Richard Genestier (FEMTO-ST, Besançon)
;Sécurité et protocoles cryptographiques:
* __[Steve Kremer|http://www.loria.fr/~skremer/]__ (LORIA, INRIA Nancy), ''exposé invité''
* Antoine Delignat-Lavaud (INRIA Paris)
* Rémy Chrétien (LSV, ENS Cachan)
At line 89 changed 2 lines
* Inscription : 7 juin 2015
* Journées : 15 et 16 juin 2015
* Inscription : 14 mai 2017
* Journées : 29, 30 et 31 mai 2017
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