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 43 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 48 added one line
* __[Laurent Doyen|http://lsv.fr/~doyen/]__ (LSV, CNRS ENS Cachan)
At line 50 added 4 lines
* __[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 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 82 changed 4 lines
* %%(text-decoration:line-through)[Inscriptions| Register2015]%%
* [Programme détaillé|Programme2015]
* [Informations locales|Local2015]
* [Liste des inscrits | https://lacl.fr/~msassolas/recherche/GTverif2015/ListeInscrits.html]
* [Informations locales | Local2015]
<!--* [Inscriptions | Register2015]-->
* [Programme détaillé | Programme17] et le [pdf | https://lacl.fr/~youalhadj/GT-Verif/ProgrammeStandalone.pdf]
At line 68 added 2 lines
<!--* [Liste des inscrits | https://lacl.fr/~msassolas/recherche/GTverif2015/ListeInscrits.html]-->
<!-- [détaillé|programme2017] [ pdf|Programme2015]-->
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