Toutes les annonces

Journées GPL 2017 - ouverture des inscriptions

Les inscriptions pour les journées nationales du GDR GPL 2017 sont ouvertes.

http://www.lirmm.fr/gdr-gpl-2017/

Tarif réduit jusqu'au 12 mai 2017.

Frama-C & SPARK Day 2017

      Call for Participation

      Frama-C & SPARK Day 2017: Formal Analysis and Proof for Programs in C and Ada

      Paris, Tuesday, May 30th, 2017

      http://frama-c.com/FCSD17.html

EJCP 2017 - Appel à participation

Les inscriptions à l'EJCP 2017 sont désormais ouvertes :

  http://ejcp2017.enseeiht.fr/

 

 

Journée de printemps du groupe LaMHA - Lundi 27 mars 2017- Orléans

Une journée du groupe de travail LaMHA aura lieu  le 27 Mars à l'université d'Orléans. Les informations concernant l'inscription à la journée, le lieu exact, et le programme sont sur la page de l'évènement.

L'inscription à la journée est gratuite, mais obligatoire pour permettre l'organisation de l'événement (notamment pour les repas du midi). Elle doit être faite avant le 20 Mars.

4ème Journée du Groupe Génie Logiciel Empirique - Mercredi 12 Avril 2017

Nous avons le plaisir de vous annoncer la tenue de la 4ème journée d'échange de la communauté "Génie Logiciel Empirique", le mercredi 12 avril 2017. La journée se tiendra dans les locaux de Mozilla à Paris, que nous remercions chaleureusement, ce qui est l'occasion pour les communautés académiques et open-source d'apprendre à mieux se connaître.

--Jean-Rémy Falleri et Martin Monperrus

Animateurs du groupe GLE du GDR GPL

Programme :

- 9:00: Accueil

Journée du groupe de travail Ingénierie des Exigences

Le groupe de travail "Ingénierie des Exigences" (IE) du GDR GPL organise une journée de travail le 30 mars 2017 de 10h à 17h à Paris.

Programme de la journée 

EJCP 2017 - Appel à participation

Le site de l'EJCP 2017 est ouvert :

  http://ejcp2017.enseeiht.fr/

N'hésitez pas à faire de la publicité pour l'EJCP autour de vous.

 

Journée du groupe de travail IDM

Le groupe de travail IDM (Ingénierie Dirigée par les Modèles) organise le 29 Mars 2017 de 9h30 à 17h dans les locaux de l'université Pierre et Marie Curie une journée d'échange autour de l'IDM. Elle sera constituée d'une série de présentations de projet de recherche ainsi que d'une table ronde autour de MDE et SLE.

Plus d'informations : http://ecariou.perso.univ-pau.fr/journee-GT-IDM-2017.html

1000 abonnés

La liste de diffusion gdr-gpl@imag.fr a dépassé, fin janvier 2017, le cap des 1000 abonnés, signe d'une dynamique croissante de notre communauté.

Merci à vous tous, les abonnés de la liste, et à ceux qui contribuent  à l'alimenter!

Merci également au LIG et à l'Université Grenoble Alpes, qui hébergent cette liste!

Et... si vous n'êtes pas encore abonné à cette liste, toutes les instructions pour nous rejoindre sont disponibles sous:

http://gdr-gpl.cnrs.fr/Presentation/Participer

Prix de thèse GPL 2016

Décerné par le GDR GPL

Date limite de candidature : 31 janvier 2017

Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR GPL, que ce soient des travaux fondamentaux ou des travaux appliqués ayant donné lieu à transfert industriel, à des logiciels, à des brevets,
réalisés au sein d'une ou plusieurs équipes du GDR. L'objectif de ce prix est de faire connaître à l'ensemble de la communauté informatique d'excellents travaux de recherche.

Pages

S'abonner à RSS - blogs