%%center
!!!Journées annuelles 2017

Les 29, 30 et 31 mai 2017\\
Université Paris-Est - Créteil
%%


%%right
<!--
[{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'}]-->
<!--
\\\
<span style="font-size: small">Télécharger l'affiche : [grand format|http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGTsmall.png], [très grand format|http://www.lacl.fr/~msassolas/recherche/GTverif2015/AfficheGT.png].</span>
-->
%%

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, dans [l'amphi 3 (rouge)|http://www.u-pec.fr/servlet/com.univ.collaboratif.utils.LectureFichiergw?ID_FICHIER=1259768729367] de la faculté des sciences de l'UPEC, à Créteil.
<!--, dans l'__amphi ECO-103__ de la faculté des sciences de gestion, sur le mail des mèches ([comment venir | Local2015]).-->

Les journées du GT-Vérif visent à rassembler la communauté française en vérification formelle, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations, l'ouverture sur des thématiques liées à la vérification, et pourquoi pas préparer de futures [visites de doctorant(e)s|http://www.gdr-im.fr/?q=node/24].

Elles ont pour ambition de couvrir ''tous'' les domaines de la vérification formelle, incluant (entre autres !) :

* la vérification informatique de systèmes, modélisant des systèmes de freinage aux protocoles de communications en passant par les programmes,
* l'emploi de techniques de preuve automatiques ou interactives (model-checking, déduction automatique, assistants de preuve, solveurs SMT, etc. ainsi que leurs combinaisons),
* l'utilisation de logiques pour raisonner sur les propriétés des systèmes (par exemple les logiques temporelles, spatiales, probabilistes ou avec données),
* les techniques d'abstraction pour la vérification.


%%block
!Inscriptions
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.
-->
%%

%%block
!Programme
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].-->
%%
<!--
Les doctorants sont également invités à présenter leurs travaux dans une ''session des doctorants''.
-->
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)
%%

<!--
;Session des doctorants
Les doctorants sont invités à présenter leurs travaux lors d'une sessions spéciale. Le format sera d'une dizaine de minutes, incluant les questions.
Il suffit pour cela de préciser le titre de la présentation lors de [l'inscription| Register2015].
%%
-->

%%block
! Organisation pratique
* [Informations locales | Local2015]
<!--* [Inscriptions | Register2015]-->
* Programme [détaillé | Programme17] [pdf | https://lacl.fr/~youalhadj/GT-Verif/ProgrammeStandalone.pdf]

<!--* [Liste des inscrits | https://lacl.fr/~msassolas/recherche/GTverif2015/ListeInscrits.html]-->
<!-- [détaillé|programme2017] [ pdf|Programme2015]-->
%%block
!Dates importantes
* Inscription : 14 mai 2017
* Journées : 29, 30 et 31 mai 2017
%%

<!--
%%block
!Organisation
* Béatrice Bérard (LIP6, Paris)
* Véronique Cortier (Loria, Nancy)
* Pierre-Cyrille Héam (FEMTO-ST, Besançon)
* Fabrice Kordon (LIP6, Paris)
* Didier Lime (IRCCyN, Nantes)
* Sylvain Schmitz (LSV, Cachan)
%%
-->

<!--
%%block
!Sponsors
Ces journées bénéficient du soutien financier ou matériel de l'[UPEC|http://www.u-pec.fr/] et du [LACL|http://www.lacl.fr/], du [GdR-IM|http://www.gdr-im.fr/] et de l'[ANR|http://www.agence-nationale-recherche.fr/].
%%
-->