Journée du groupe Forwal, au LIP6 le 16 juin

La journée du groupe de Travail FORWAL aura lieu le 16 Juin,
conjointement avec les journées  GT-Verif (GDR-IM) et la journée de clôture du projet ANR IMPRO 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)