Toutes les annonces

Nous avons accueilli Adeline Nazarenko, chargée de mission section 06 "Informatique, fondements et applications" à l'INS2I.

Elle nous a présenté les actions en cours à l'INS2I et rappelé les missions d'un GDR.

Ses transparents sont disponibles ici.

 Le Prix de thèse GDR GPL 2015  a été attribué à Mounir Assaf pour sa thèse intitulée "Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés", préparée dans l'équipe commune CIDRE (INRIA, CentraleSupélec, CNRS et Rennes 1) et le Laboratoire de Sûreté des Logiciels au CEA LIST, sous la direction scientifique de Eric Totel ainsi que Julien Signoles et Frédéric Tronel.

Catherine Dubois, présidente du jury du prix de thèse GPL 2015, lui a remis son prix ce jeudi matin.

La journée du jeudi 9 juin a débuté par une conférence invitée de Jean-Marc Jézéquel, médaille d'argent 2016 du CNRS et Professeur à l'Université de Rennes.

Il nous a donné sa vision de la recherche en Génie Logiciel, plus précisément des "Familles de DSLs".

La première conférence invitée des journées nationales 2016 était donnée par Pascal Cuoq (Trust In Soft) et était intitulée "SQLite au peigne fin". Ses transparents sont disponibles ici.

Pierre-Etienne Moreau a ouvert ce mercredi 8 juin les 8es journées nationales du GDR GPL.

Les actes des journées nationales GPL 2016 sont disponibles ici ( PDF de 8,8 Mo).

Vous pouvez retrouver sur le site des journées nationales les actes de

Les journées nationales 2016 ont débuté ce mardi 7 juin sous le soleil avec les conférences AFADL, CAL et CIEL.

Toutes les informations sur ces journées sont disponibles sous http://events.femto-st.fr/gdr-gpl-2016

Vous trouverez également un compte-rendu de ces journées (avec les actes et les transparents) sur le site http://gdr-gpl.cnrs.fr/

Le jury du Prix GDR GPL a décidé  d’attribuer le Prix GDR GPL 2015 à Mounir Assaf pour sa thèse intitulée
"Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés", préparée dans l'équipe commune CIDRE (INRIA, CentraleSupélec, CNRS et Rennes 1) et le Laboratoire de Sûreté des Logiciels au CEA LIST, sous la direction scientifique de Eric Totel ainsi que Julien Signoles et Frédéric Tronel.

Dans le cadre de l’animation du groupe de travail GL/\CE (Génie Logiciel pour les systèmes Cyber-physiquEs) du GdR, la journée du 10 mai sera placée sous le signe de la mise en commun d’outils de génie logiciel à destinations des CPS. 

Un grand merci au LIP6 qui nous héberge ! Il reste encore une place de disponible suite à un désistement (lien pour l’inscription: https://www.eventbrite.fr/e/billets-journee-glce-tools-24114101928)

Le programme de la journée est le suivant : 

Journée commune AFSEC/PACS (ANR PACS : Parametric Analyses of Concurrent Systems)

Pour définir la taille de la salle et prévoir les autorisations d'accès au bâtiment , une inscription (gratuite) au plus tard le 10 mai 2016 est nécessaire en envoyant un email à olivier-h.roux@irccyn.ec-nantes.fr ; objet : "Inscription AFSEC 26 mai" (cliquer sur le lien) - préciser : Nom et Affiliation.