La journée de travail du GT RIMEL a lieu le vendredi 12 décembre 2014 à Nîmes.
Programme de la journée :
8h30-9h00 : Accueil
9h00-10h30 : Evolution
Une approche formelle pour gérer l'évolution des architectures logicielles à trois niveaux.
Abderrahman Mokni, EMA(LGI2P)/ISOE, Nîmes.
Processing the Evolution of Quality Requirements of Web service Orchestrations: a Pattern-based Approach.
Tarek Zernadji, LIRMM/MAREL, Montpellier.
Soumis par Florian.Brandner le 19 Septembre, 2014 - 21:12
Les 9èmes journées de la Compilation auront lieu du lundi 12 au mercredi 14 janvier au Centre International de Séjour - Maurice Ravel à Paris.
Comme les dernières réunions, ces journées sont l'occasion pour les membres du groupe Compilation de partager leurs derniers résultats et leurs nouvelles idées. C'est aussi une opportunité de monter des collaborations et même de préparer des projets communs.
Soumis par Olivier.Roux le 10 Septembre, 2014 - 17:32
Une journée sur le thème “méthodes formelles et processus métier” (workflow, services Web, contrats QoS, …) se tiendra le 16 octobre 2014 à Paris.
Organisée avec le soutien du GDR GPL.
Lieu : LIP6, Paris 6 (Jussieu) - salle 203-205 bâtiment 41 .
Programme de 6 exposés d’environ 1h (incluant les questions) :
Soumis par Catherine.Dubois le 10 Septembre, 2014 - 09:24
La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 20 octobre 2014 dans les locaux du LRI à Saclay.
Elle est organisée par Marc Pouzet et Sylvain Conchon.
Plus d'informations sur http://www.ensiie.fr/~dubois/LTP.html
Soumis par Laurence.Duchien le 10 Juillet, 2014 - 21:38
L'édition 2014 de l'École Jeunes Chercheurs en Programmation (EJCP) a eu
lieu du 16 au 20 juin. Trente étudiants ont participé à cette nouvelle
mouture de l'école proposant sur une semaine deux parcours, l'un portant
sur l'ingénierie logicielle et l'autre sur la programmation et la
vérification de programmes. Chaque cours durait une journée et
comportait pour moitié des cours magistraux et pour moitié des travaux
pratiques. Des problèmes de transport ont malheureusement provoqué
l'annulation d'un cours dans chaque parcours.
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:
Pages
