%%center
!!!Journées annuelles 2018

Les 28, 29 et 30 mai\\
Grenoble
%%
%%
Les journées annuelles du GT Vérification 2018 ont lieu les 28, 29 et 30 mai 2018 au bâtiment [IMAG|http://batiment.imag.fr], sur le campus de Grenoble. Voir les [informations d'accès|http://nts.imag.fr/index.php/Journees_GT_Verif_2018_Informations_Locales].

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
!! Sessions thématiques
* <b>Vérification et synthèse multi-critères</b> 
**[Mickael Randour|http://math.umons.ac.be/staff/Randour.Mickael/] (FNRS & UMONS)
* <b>Vérification de programmes : mémoire et concurrence</b> 
**[Étienne Lozes|http://www.i3s.unice.fr/~elozes/] (I3S)
* <b>Apprentissage et vérification</b> 
**[Nathanaël Fijalkow|https://nathanael-fijalkow.github.io/] (CNRS, LaBRI) 
* <b>Vérification déductive autour de l'outil Why3</b> 
**[Andrei Paskevich|http://tertium.org/] (LRI, Univ. Paris Sud) 
%%
%%block
!!Appel à exposés
Toute personne souhaitant donner un exposé lors de ces journées est invitée à envoyer un titre et un résumé (d'une page maximum, au format PDF ou en texte simple) de sa présentation avant le 4 mai 2018. Il n'y aura pas de relecture formelle des propositions, l'objectif de ces journées ''informelles'' étant bien sûr d'avoir un maximum d'exposés. Les propositions doivent simplement porter sur la vérification et être déposées sur le [site de soumission dédié|https://easychair.org/conferences/?conf=gtverif2018] pour faciliter l'organisation.
%%
%%block
!!Dates importantes
*  Date limite de [proposition d'un exposé|https://easychair.org/conferences/?conf=gtverif2018] : 4 mai 2018
*  Notification : 11 mai 2018
*  Date limite d'inscription : 15 mai 2018
*  Journées : 28, 29 et 30 mai 2018
%%
%%block

Les inscriptions aux journées sont gratuites mais pour des raisons d'organisation, il est demandé de s'inscrire avant le 15 mai 2018. Les inscriptions ne pourront plus être garanties ensuite. Les inscriptions ont lieu via le [site d'inscription|http://www-verimag.imag.fr/~iosif/GTVerif2018/registration.php?view=register].

<!Le GT-Vérif pourra prendre en charge les frais de mission d'un nombre limité de doctorants, contacter les organisateurs avant le 23 mai 2013.-->
!!Programme
* [Programme|Programme_GT_Verif_2018]
* [Informations locales|http://nts.imag.fr/index.php/Journees_GT_Verif_2018_Informations_Locales]
%%
%%block
!!Organisation
* Nathalie Bertrand (Inria, IRISA)
* Radu Iosif (Verimag, CNRS)
* Pierre-Alain Reynier (LIS, Aix-Marseille Université)
%%
%%block
!Sponsors
Les journées du [Groupe de Travail sur la Vérification] bénéficient du soutien financier ou matériel du [GdR-IM|http://www.gdr-im.fr/].
%%