=============================================================
Le workshop de clôture du projet ANR ImpRo aura lieu le 18 juin,
conjointement avec les journées  GT-Verif (GDR-IM) et la journée 
du GT-FORWAL (GDR-GPL) les 

      16, 17 et 18 juin 2014, au LIP6 (Paris)
         http://gt-verif.loria.fr/2014

          1er appel à contributions
=============================================================

Le GT FORWAL est un groupe de travail du GdR-GPL travaillant
autour du model-checking, la théorie des jeux, la réécriture...

Le GT Vérification est un groupe de travail du GdR-IM. 
Ce groupe de travail a pour thématique centrale la vérification.

Le projet ANR Impro  est consacré à la robustesse et 
l'implémentabilité des systèmes temporisés et probabilistes.


Exposés invités
===============
- Eugene Asarin (LIAFA, Paris), commun avec la journée du projet ANR Impro
- Serge Haddad (ENS Cachan, Cachan), commun avec la journée du GT-Forwal.
- Stephan Merz (INRIA Nancy, LORIA)

Appel à exposés 
=============== 
Toute personne désirant donner un exposé est
invitée à envoyer un titre et un résumé (d'une page maximum) de sa
présentation avant le 3 mai 2014. L'objectif est bien sûr d'avoir un maximum
d'exposés. Les contributions seront réparties dans les différentes journées
en fonction des thèmes de recherche (le 16 pour FORWAL et le 18 pour ANR IMPRO).

Site de soumission: https://www.easychair.org/conferences/?conf=gtverif2014


Dates importantes
=================
- Date limite de proposition d'un exposé: 3 mai 2014
- Notification: 17 mai 2014
- Demande de subvention pour les doctorants: 21 mai 2013
- Inscription: 31 mai 2014
- Journées: 16, 17 et 18 juin 2014

Inscriptions
============
Les inscriptions aux journées seront gratuites mais pour des raisons
d'organisation, il sera demandé de s'inscrire avant le 31 mai. 


Comité d'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)