Toutes les annonces

Compilation and Execution of Streaming Programs , Lyon, 14th April 2014 

 CITI Lab @ INSA Lyon together with LIP @ ENS Lyon are pleased to announce a  special one-day seminar on                                                     
Compilation and Execution of Streaming Programs                               

École Jeunes Chercheurs en Programmation 2014 -EJCP 2014

L'École jeunes chercheurs en programmation accueille chaque année pendant une semaine une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique.

Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n'auront pas été abordés pendant leur Master. De plus, à l'issue de l'École, tous connaîtront l'ensemble des thèmes étudiés dans nos équipes et les spécialistes de chaque domaine.

Huitièmes rencontres de la communauté française de compilation

Le groupe de Travail Compilation organise les 8es rencontres de la communauté française de compilation  à Nice du 1er au 3 juillet 2014.

Pour plus de renseignements:

http://compilation.gforge.inria.fr/2014_07_Nice/index.html

Appel à Posters et Démos 2014

Les prochaines journées nationales du GDR GPL se dérouleront du 11 au 13 juin 2014 à Paris. Elles seront colocalisées avec CAL, CIEL et AFADL :

http://gdr-gpl2014.cnam.fr/


Pour encourager chacun à participer activement à ces journées, nous lançons un appel à posters et à démos.

La liste des thèmes couverts par le GDR comprend notamment (liste non exhaustive) :

Journée du groupe Forwal, au LIP6 le 16 juin

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

Compte-rendu du workshop VaMoS'2014

Compte-rendu préparé par Philippe Collet

Les 22, 23 et 24 janvier 2014 a eu lieu au théâtre de Valrose le 8ème workshop international VaMoS'2014 (Variability Modelling of Software-intensive Systems, http://vamos2014.unice.fr/).

Appel à Défis 2025

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

Atelier : Les challenges de la qualification d'outils pour l'IDM

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

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

 

Pages

S'abonner à RSS - blogs