%%center
!!!Journées annuelles 2014

Les 16, 17 et 18 juin 2014\\
Université P. et M. Curie
%%
%%right
[Journées annuelles 2014|http://www.loria.fr/~cortier/vignette-GTVerif.png]\\\
<span style="font-size: small">Télécharger l'affiche : [A4|http://lip6.fr/Fabrice.Kordon/journee-gt-verif-2014-A4.pdf], [A3|http://lip6.fr/Fabrice.Kordon/journee-gt-verif-2014-A3.pdf].</span>
%%

Les deuxièmes journées annuelles du GT Vérification auront lieu les 16, 17 et 18 juin 2014, au [LIP6|http://www.lip6.fr/], à Paris. Elles auront lieu conjointement avec : 
* la journée du GT FORWAL, le 16 juin. Le [GT FORWAL|http://www.univ-orleans.fr/lifo/Membres/couvreur/projets/Forwal.html] est un groupe de travail du [GdR-GPL|http://gdr-gpl.cnrs.fr/] travaillant autour du model-checking, la théorie des jeux, la réécriture.

* la journée de clôture du projet ANR Impro, le 18 juin. Le [projet ANR Impro|http://anr-impro.irccyn.ec-nantes.fr/] est consacré à la robustesse et l'implémentabilité des systèmes temporisés et probabilistes.


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].

%%block
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
! Exposés invités
* [Eugene Asarin|http://www.liafa.jussieu.fr/~asarin/] (LIAFA, Paris), commun avec la journée du projet ANR Impro
* [Serge Haddad|http://www.lsv.ens-cachan.fr/~haddad/?l=fr] (ENS Cachan, Cachan), commun avec la journée du GT-Forwal.
* [Stephan Merz|http://www.loria.fr/~merz/] (INRIA Nancy, LORIA)
%%
%%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 3 mai 2014. 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://www.easychair.org/conferences/?conf=gtverif2014] pour faciliter l'organisation.
%%
%%block
!Dates importantes
* %%strike Date limite de [proposition d'un exposé|https://www.easychair.org/conferences/?conf=gtverif2014] : <strike>3 mai 2014</strike> 12 mai 2014
* %%strike Notification : <strike>17 mai 2014</strike> 20 mai 2014
* %%strike Inscription : 31 mai 2014
* Journées : 16, 17 et 18 juin 2014

%%block
!Programme
* [Programme|Programme2014]
* [Informations locales|Local2014] 
%%
%%block
!Inscriptions
Les inscriptions aux journées sont gratuites mais pour des raisons d'organisation, il est demandé de s'inscrire avant le 31 mai sur le site dédié. Les inscriptions ne pourront plus être garanties ensuite.
%%
%%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'[UPMC|http://www.upmc.fr/] et du [LIP6|http://www.lip6.fr/], du [GdR-IM|http://www.gdr-im.fr/], du [GdR-GPL|http://gdr-gpl.cnrs.fr/], de l'[ANR|http://www.agence-nationale-recherche.fr/] et des pôles de compétitivité [Systematic|http://www.systematic-paris-region.org/] et [ID4CAR|http://www.id4car.org/].
%%