Soumis par Laurence.Duchien le 15 Janvier, 2014 - 14:15
Appel à Défis pour le Génie de la Programmation et du Logiciel à échéance de 2025
Organisé dans le cadre des journées du GDR GPL du CNRS
12 juin 2014 - Paris
Journée Action IDM :
Les challenges de la qualification d'outils pour l'IDM
10 Janvier 2014, Université Paris VI, Jussieu, Paris, France
Laboratoire d’Informatique de Paris 6 (LIP6) Tour 25-26, 1er étage, salle 25-26/105
Organisée par
J.C Bach*, P-E Moreau*, M. Pantel✵, L. Rioux✲
*LORIA, Nancy - ✵IRIT, ToulouseI - ✲THALES R&T, Palaiseau
Le GDR GPL vous présente ses meilleurs voeux pour 2014!
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:
Soumis par Dominique.Mery le 16 Octobre, 2013 - 12:10
Date limite de candidature : 31 décembre 2013
Le prix Génie de la Programmation et du Logiciel a été créé en 2013 pour récompenser chaque année une excellente thèse préparée au sein du Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL).
Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR GPL, y compris des travaux fondamentaux aux travaux appliqués ayant donné lieu à transfert industriel, à des logiciels, à des brevets, réalisés au sein d'une équipe ou de plusieurs équipes du GDR.
Le département informatique de l'ENS Lyon organise trois "écoles de recherche", qui sont des cours intensifs de master (24 heures sur 5 jours) autour d'un thème d'actualité, cette année
- Algorithmic Game Theory (dec 2013)
- Synchronous approaches for Embedded Systems (jan 2014)
- Logic of dynamical Systems (jan 2014)
Plus d'infos ici http://www.ens-lyon.fr/DI/?cat=53&lang=en
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.
La journée Lignes de Produits est organisée le 29 novembre 2013 par l'Université de Paris 1 Panthéon – Sorbonne avec le soutien du GDR-GPL CNRS. Pour tous renseignements:
http://www.jldp.org/2013/
Soumis par Laurence.Duchien le 7 Septembre, 2013 - 15:41
4ème Conférence Internationale- ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 - Toulouse - France http://www.irit.fr/ABZ2014/
Après Londres, Orford et Pise, la 4ème édition de la conférence ABZ se tiendra à Toulouse du 2 au 6 juin 2014
Cette conférence a pour objectif de réunir les communautés travaillant autour de la définition et de l'utilisation de méthodes, techniques et outils intégrant des approches de modélisation formelles et de développements formels fondées sur la preuve et le raffinement.
Pages
