FORWAL

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

Les informations qui suivent sont disponibles sur la page web de la section 6:
http://cn6.fr/

Le compte rendu de la session de printemps 2013, consacrée en
particulier aux renouvellements d'associations d'UMR et de GDR, ainsi
qu'aux évaluations de chercheurs est disponible :
http://cn6.fr/compte%20rendu%20-%20section%206%20-%20printemps%202013.pdf

La session d'automne 2013 aura lieu du 12 au 14 novembre 2013.

Allistene et les Pôles de compétitivité du numérique à la stratégie nationale de recherche publient une synthèse qui présente les enjeux stratégiques de la recherche en sciences et technologies du numérique et

Un compte twitter https://twitter.com/GdrGPL a été créé pour relayer les informations majeures du GDR Génie de la Programmation et du Logiciel.

Abonnez-vous et signalez-nous les informations à relayer en nous envoyant un messsage @GdrGPL

Programme prévisionnel :

10h15-11h00 :  Vincent Hugot, On Positive TAGED with a Bounded Number of Constraints.
11h00-11h45 : Yann Thierry Mieg, A Guarded Action Language to express system semantics.
11h45-12h15 : Sophie Pinchinat, Présentation de la pré-equipe Logica.

REPAS (pris en charge par le GDR)