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)
Présentation de l'Ecole des Jeunes Chercheurs en Programmation
À côté des groupes de travail, qui constituent le principal instrument d'animation des communautés scientifiques, l'École des Jeunes Chercheurs participe au renouvellement de ces communautés en formant et sensibilisant les jeunes chercheurs aux thématiques scientifiques présentes dans le GDR.
Pages
La prochaine journée de travail du GT RIMEL aura lieu le vendredi 29 novembre 2013 à Annecy.