[GdT programmation / séminaire IRILL] : séance du JEUDI 4 février 2016 à 14h

Bonjour à tous,

     La prochaine séance du [GdT Programmation / séminaire IRILL ] est le jeudi 4/2/2016

     elle est commune avec le séminaire APR-LIP6

           Abdelraouf Ouadjaout (APR-LIP6, UPMC) parlera de 

                   Static Analysis by Abstract Interpretation of Functional Properties of Device Drivers in TinyOS 

 

    à  14h  en salle 25-24 405 (4ème étage) sur la campus Jussieu  <— attention nouvel horaire et nouveau lieu

    Toutes les informations concernant ce GdT sont sur :

       http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html

à bientôt.

Emmanuel...