Toutes les annonces

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.

Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017

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)

Bourses de mobilité 2017

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.

Journées GPL 2017 - ouverture des inscriptions

Les inscriptions pour les journées nationales du GDR GPL 2017 sont ouvertes.

http://www.lirmm.fr/gdr-gpl-2017/

Tarif réduit jusqu'au 12 mai 2017.

Frama-C & SPARK Day 2017

      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

EJCP 2017 - Appel à participation

Les inscriptions à l'EJCP 2017 sont désormais ouvertes :

  http://ejcp2017.enseeiht.fr/

 

 

Pages

S'abonner à RSS - blogs