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 troisièmes journées annuelles du GT Vérification ont eu lieu les 15 et 16 juin 2015, au [LACL|http://www.lacl.fr/], à Créteil, dans l'__amphi ECO-103__ de la faculté des sciences de gestion, sur le mail des mèches ([comment venir | Local2015]).
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.
<!--, dans l'__amphi ECO-103__ de la faculté des sciences de gestion, sur le mail des mèches ([comment venir | Local2015]).-->
At line 30 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 35 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.
<!--Le [Programme|Programme2015].-->
%%
<!--
At line 45 added 9 lines
-->
Orateurs invités:
* __[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 38 changed 24 lines
;Bases de données:
* __[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 60 added one line
-->
At line 69 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 76 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