A la Une

Retour sur les journées Nationales 2017

Les 9es Journées Nationales du GDR GPL 2017 se sont tenues à Montpellier, dans les locaux de Polytech'Montpellier. elles ont réuni plus de 120 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Vous retrouverez ci-dessous toute l'information sur cet événement.

Clôture des journées GPL2017

Les journées GPL 2017 se sont terminées ce jeudi, mais les événements associés (AFADL et CIEL) ont continué. Leurs participants se sont retrouvés jeudi soir au centre de Montpellier pour un cocktail à l'hôtel Metropole. Vendredi, les participants à CIEL 2017 ont poursuivi leurs travaux.

Un grand merci à tous les organisateurs et en particulier à Clémentine Nebut, Chouki Tibermacine et Elisabeth Gréverie! Et rendez-vous à Grenoble en 2018...

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 Verified 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,

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 :

École d'Été Temps Réel : 28 août au 1 septembre 2017

L’École d’Été Temps Réel (ETR) a pour vocation de former des jeunes chercheurs des secteurs académiques et industriels, et en particulier les doctorants, au plus haut niveau sur les systèmes temps réel. Les systèmes temps réel sont caractérisés par la nécessité de respecter des contraintes temporelles imposées au système informatique par son
environnement. Étant donnée la nature critique des domaines d’application des systèmes temps réel et embarqués, le développement de tels systèmes requiert la mise en oeuvre d’approches et de technologies de haut niveau.

Retour sur les journées Nationales 2017

Les 9es Journées Nationales du GDR GPL 2017 se sont tenues à Montpellier, dans les locaux de Polytech'Montpellier. elles ont réuni plus de 120 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Vous retrouverez ci-dessous toute l'information sur cet événement.

Clôture des journées GPL2017

Les journées GPL 2017 se sont terminées ce jeudi, mais les événements associés (AFADL et CIEL) ont continué. Leurs participants se sont retrouvés jeudi soir au centre de Montpellier pour un cocktail à l'hôtel Metropole. Vendredi, les participants à CIEL 2017 ont poursuivi leurs travaux.

Un grand merci à tous les organisateurs et en particulier à Clémentine Nebut, Chouki Tibermacine et Elisabeth Gréverie! Et rendez-vous à Grenoble en 2018...

SHARC 2017, 29-30/06/2017, Toulouse : Appel à participation

Les journées SHARC (Conference on Software and Hardware Archietctures for Robots Control & Autonomous Cyber-Physical Systems) auront lieu les 29 et 30 juin 2017, au LAAS à Toulouse. C'est l'occasion pour la communauté représentée par l'action transversale ALROB de se rencontrer et d'échanger avec la communauté du GT4 du GDR Robotique autour de la thématique des architectures de contrôle/commande robotique et plus généralement de l'ingénierie des systèmes cyber-physiques autonomes. Nous espérons vous y voir nombreux.

Conférence invitée de Jordi Cabot

La troisième conférence invitée était donnée par Jordi Cabot (Open University of Catalonia, Espagne) et s'intitulait Lightweight Model-Driven Engineering.

Ses transparents (9,5Mb) sont disponibles ici.

GPL 2017 - Excursion et dîner de gala

Cette deuxième journée s'achevait sur une excursion et le dîner de gala.

Des bus nous ont emmenés au choix à la grotte de Clamouse et au village de St Guilhem-le-désert. Ces visites ont été l'occasion de discussions fructueuses entre les participants, dans une ambiance détendue.

Journées GPL 2017 - Assemblée Générale

La dernière session de cette deuxième journée était dédiée à l'AG du GDR GPL. Pierre-Etienne Moreau a rappelé le contexte du GDR et les défis auxquels il doit faire face. Ses transparents sont disponibles ici.

Il a également annoncé que la prochaine édition de l'EJCP se déroulera à Lyon et les prochaines journées nationales à Grenoble.

12ièmes journées de Compilation - du 21 au 23 juin 2017, Saint-Germain-au-Mont-d’Or

Les 12èmes journées de la Compilation auront lieu du mercredi 21 au vendredi 23 juin à l’hôtel Domaine des Hautaines à Saint-Germain-au-Mont-d’Or (proche de Lyon).

Cette rencontre est organisée par Fabrice Rastello (Inria) et Henri-Pierre Charles (CEA) et vise à rassembler la communauté française en compilation, et en particulier les chercheurs juniors, doctorants et post-doctorants, avec pour objectif de favoriser les collaborations et de s'ouvrir sur de nouveaux axes de recherches.

Ouverture d'AFADL 2017

Akram Idani et Nikolaï Kosmatov ont ouvert l'édition 2017 de AFADL.

Conférence invitée de Gérard Berry

Dans sa conférence invitée, Gérard Berry, Collège de France, nous a invités "A la chasse aux bugs".

Ses transparents sont disponibles ici (en PPT)

S'abonner à GDR GPL RSS