Soumis par Catherine.Dubois le 14 Mai, 2017 - 12:12
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,
Soumis par Jacques.Malenfant le 9 Mai, 2017 - 14:37
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.
Soumis par Claire.Pagetti le 24 Avril, 2017 - 17:07
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)
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.
Soumis par Nikolai.Kosmatov le 9 Avril, 2017 - 15:20
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
Soumis par Julien.Tesson le 15 Mars, 2017 - 23:50
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.
Soumis par Martin.Monperrus le 13 Mars, 2017 - 10:18
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
Pages
