Toutes les annonces

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)

Remise du prix de thèse GPL 2016

Cette année, le jury du prix de thèse du GDR GPL a examiné un nombre record de soumissions (20). A l'issue de ce concours de haut niveau, quatre candidats ont été distingués. Catherine Dubois, Présidente du jury, a remis leurs prix aux lauréats à l'occasion des journées GPL2017. 

GPL 2017 : nouvelles du CNRS

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.

Conférence invitée d'Arnaud Gotlieb

La première conférence invitée des journées GPL 2017 était donnée par
Arnaud Gotlieb (Simula Research Laboratory, Norvège) et s'intitulait

Testing Robotic Systems: A New Battlefield

Ses transparents sont disponibles ici.

Ouverture des journées GPL 2017

Pierre Etienne Moreau, et les organisateurs locaux, Clémentine Nebut et Chouki Tibermacine ont ouvert ce matin les Journées Nationales 2017 du GDR GPL. Contrairement aux années précédentes, la semaine commence par les journées nationales  et se poursuit par les événements co-localisés.

Le soleil est au rendez-vous et les participants sont déjà nombreux!

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,

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.

Pages

S'abonner à RSS - blogs