A la Une

Les lauréats du Prix GDR GPL 2016

Le jury du Prix GDR GPL, présidé par Catherine Dubois, a décidé d’attribuer le Prix GDR GPL 2016 à Jacques-Henri Jourdan pour sa thèse intitulée "Verasco: a Formally C Static Analyzer ", préparée à INRIA Paris sous la direction scientifique de Xavier Leroy.

Le jury a également décidé d'attribuer 3 accessits à (dans l'ordre alphabétique) :

- Antoine Delignat-Lavaud, pour sa thèse intitulée "On the Security of Authentification Protocols for the Web", préparée à INRIA Paris sous la direction scientifique de Karthikeyan Bhargavan,

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.

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

Journées nationales 2017

Les journées nationales 2017 auront lieu à Montpellier du 13 au 16 juin 2017.

Le site web de ces journées est à l'URL suivant : http://www.lirmm.fr/gdr-gpl-2017/

Elles seront colocalisées avec AFADL 2017.

Réservez dès à présent ces dates!

 

Retour sur les journées nationales 2016

Les 8es Journées Nationales du GDR GPL 2016 se sont tenues à Besançon, dans les locaux de l'Université de Franche-Comté du 8 au 10 juin 2016. Elles ont réuni plus de 110 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Les Défis 2025 en Génie de la Programmation et du Logiciel

Quatre nouvelles contributions ont été écrites à l'occasion de la journée de septembre 2014 à Paris. Il s'agit de :

Bienvenue sur le site du GDR GPL

Le GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) est une unité de l'INS2I du CNRS qui regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation.

Vous trouverez sur ce site les dernières actualités relatives au GDR GPL :

Les lauréats du Prix GDR GPL 2016

Le jury du Prix GDR GPL, présidé par Catherine Dubois, a décidé d’attribuer le Prix GDR GPL 2016 à Jacques-Henri Jourdan pour sa thèse intitulée "Verasco: a Formally C Static Analyzer ", préparée à INRIA Paris sous la direction scientifique de Xavier Leroy.

Le jury a également décidé d'attribuer 3 accessits à (dans l'ordre alphabétique) :

- Antoine Delignat-Lavaud, pour sa thèse intitulée "On the Security of Authentification Protocols for the Web", préparée à INRIA Paris sous la direction scientifique de Karthikeyan Bhargavan,

SHARC 2017 29-30/06/2017 -- Appel à communications et à participation

SHARC2017, 12th National Conference on Software and Hardware Architectures for Robots Control 
June 29th - June 30th 2017
LAAS-CNRS, Toulouse, France
https://sharc2017.sciencesconf.org

* DESCRIPTION *

SHARC is an interdisciplinary annual conference on software and hardware architectures for robots and autonomous cyber-physical systems control.

Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017

Quand: Le 21 juin 2017
Lieu: ECE Paris — Ecole d’ingénieurs
Campus Eiffel 1   10 rue Sextius Michel – 75015 Paris
Métro ligne 6 (stations Bir-hakeim ou Duplex), RER C (station Champ de Mars)

Bourses de mobilité 2017

Le GDR Génie de la Programmation et du Logiciel propose quelques bourses de mobilité en vue de coopération entre équipes en 2017.

Ces bourses d’un montant forfaitaire compris entre 500€ et 1000€ sont destinées à couvrir des frais de déplacement et de logement d’un doctorant, d’un chercheur ou enseignant- chercheur pour un séjour de courte durée (typiquement, une semaine) dans une autre équipe, géographiquement distante (située dans un autre département). Ce séjour doit avoir lieu avant octobre 2017.

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 

S'abonner à GDR GPL RSS