[GdT programmation / séminaire IRILL]: séance du 23 mai 2012

Bonjour à tous,


    La prochaine séance du GdT Prog est mercredi 23  mai 2012                     <--- attention changement de jour 

          Daniel Le Métayer (LICIT  - INRIA) parlera de 

              Formal Methods as a Link between Software Code and Legal Rules

    à  11h  en salle Algorithme  (3ème étage) du site Italie (23 avenue d'Italie - 75013 Paris).   <--- attention changement d'horaire


    Toutes les informations concernant ce GdT sont sur :

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

à bientôt.
Emmanuel...