Actualité FORWAL

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

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 26 Février, 2014 - 09:41

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

Section 6 du CoNRS - CR session de printemps 2013

Soumis par Laurence.Duchien le 19 Juillet, 2013 - 14:09

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.

 

 

Création du compte twitter @GdrGPL

Soumis par Laurence.Duchien le 27 Juin, 2013 - 14:46

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

Journée FORWAL du 04 Juillet 2013 à Paris 6

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 16 Juin, 2013 - 21:45

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)