Soumis par Laurence.Duchien le 30 Juin, 2014 - 09:32
Suite à la table ronde sur les défis 2025 organisée lors des journées du GDR GPL 2014 à Paris (http://gdr-gpl.cnrs.fr/node/137), nous proposons de nous réunir à nouveau autour de ce thème le 25 septembre 2014 à l’Université Pierre et Marie Curie (salle 25-26/105 au LIP6).
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
Soumis par Akram.Idani le 4 Décembre, 2013 - 12:08
Une réunion commune des groupes de travail Méthodes de Test pour la Vérification et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) aura lieu à Grenoble, sur le campus de Saint Martin D'Hères, les 13 et 14 Janvier prochains.
http://membres-liglab.imag.fr/idani/MTV2_MFDL/
Dates à retenir :
- journées : 13 - 14 Janvier 2014
Dans le cadre de l'action émergente PING soutenue par le GDR GPL, une réunion de travail est organisée dans les locaux du LIP6 le 27 novembre 2013.
L'objectif de cette journée est de faire le point sur les actions d'enseignement du Génie Logiciel menées par les équipes membres de l'action, et de préparer la mise en oeuvre d'une plateforme nationale d'enseignement du Génie Logiciel.
Le programme de la journée de travail est le suivant:
APPEL à CONTRIBUTION et à PARTICIPATION
Journée annuelle du groupe LTP du GDR GPL LaBRI, Université Bordeaux 1, le 18 novembre 2013
Cette réunion permettra aux différents participants du groupe de travail de partager des idées et de présenter des travaux aboutis ou en cours.
Le programme est disponible sous http://www.labri.fr/perso/casteran/LTP2013
Il n'y aura pas de frais d'inscription, mais les frais de voyage et d'hébergement éventuel seront à la charge des participants.
(Attention, changement de date!!!)
Les journées nationales du GDR GPL auront lieu à Paris (CNAM) du 10 au 13 juin 2014.
Réservez dès à présent ces dates! Et consultez la page GPL 2014 pour les dernières informations sur ces journées.
Les prochaines journées nationales du GDR GPL auront lieu à Paris (CNAM) du 10 au 13 juin 2014.
Vous trouverez sur ce site (à la fin de cet article) toutes les informations utiles sur cet événement et un compte-rendu de quelques sessions.
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)
Pages