Toutes les annonces

Bonne année 2014!

Le GDR GPL vous présente ses meilleurs voeux pour 2014!

 

Journées MFDL/MTV2 2014

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

 

Journée de l'Action Émergente PING

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:

Prix de thèse GPL 2013

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.

Écoles de recherche Décembre 2013 / Janvier 2014

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

Journée du groupe LTP à Bordeaux, le 18 novembre 2013

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.

Journée Lignes de Produits 2013 à Paris

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/

 

4ème Conférence Internationale ABZ 2014 - ASM, Alloy, B, TLA, VDM, Z - June 2 - 6 2014 Toulouse - France

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.

Démarrage de l'action PING

L'action émergente PING vise à regrouper les initiatives d'enseignements en génie logiciel. Pour participer à la discussion, n'hésitez pas a rejoindre la liste de diffusion associée.

Journée du GT RIMEL 2013

AnnecyLa prochaine journée de travail du GT RIMEL aura lieu le vendredi 29 novembre 2013 à Annecy.

Contact: herve.verjus@univ-savoie.fr

Pages

S'abonner à RSS - blogs