Le blog de Catherine.Dubois

Les lauréats du Prix GDR GPL 2015

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.

Prix de thèse GPL 2015,

Le prix Génie de la Programmation et du Logiciel a été créé en 2013
pour récompenser chaque année une excellente thèse préparée au
sein du Groupement de Recherche  Génie de la Programmation et du
Logiciel (GDR GPL).

Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR
GPL, y compris des travaux fondamentaux aux travaux appliqués ayant
donné lieu à transfert industriel, à des logiciels, à des brevets,
réalisés au  sein  d'une équipe  ou de  plusieurs équipes du

Journées Francophones des Langages Applicatifs (JFLA) 2016

Les Journées Francophones des Langages Applicatifs 2016 (JFLA 2016) se tiendront du 27 au 30 janvier 2016, près de Saint Malo.

Journée Annuelle du Groupe de Travail LTP (Langages, Types et Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 20 octobre 2014 dans les locaux du LRI à Saclay.

Elle est organisée par Marc Pouzet et Sylvain Conchon.

Plus d'informations sur http://www.ensiie.fr/~dubois/LTP.html

 

Journées Francophones des Langages Applicatifs (JFLA 2015) du 7 au 10 janvier 2015, Val d'Ajol

Les vingt-sixièmes Journées Francophones des Langages Applicatifs se tiendront à l'hôtel la Résidence au Val d'Ajol, dans les Vosges.

Pour tout renseignement complémentaire : consulter le site http://jfla.inria.fr/2015/

 

Pages

S'abonner à RSS - Le blog de Catherine.Dubois