%%center
!!!Journées annuelles 2015

Les 15 et 16 juin 2015\\
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 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 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 7 juin sur [cette page| Register2015]__. Les inscriptions ne pourront plus être garanties ensuite.
%%

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

;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)

;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
* %%(text-decoration:line-through)[Inscriptions| Register2015]%%
* [Programme détaillé|Programme2015]
* [Informations locales|Local2015]
* [Liste des inscrits | https://lacl.fr/~msassolas/recherche/GTverif2015/ListeInscrits.html]

%%block
!Dates importantes
* Inscription : 7 juin 2015
* Journées : 15 et 16 juin 2015
%%

<!--
%%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/].
%%
-->