[GdT programmation]: séance du 18 novembre 2010

Bonjour à tous,


    La prochaine séance du GdT Prog est  jeudi 18/11/2010

           Nicolas Ayache (PPS, université Paris Diderot (Paris 7)) parlera de

                 Certifying cost annotations in compilers

    à 15h45 en salle 101 (1er étage) du couloir 26-00  sur le site Jussieu.


    Toutes les informations concernant ce GdT sont sur :

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



à bientôt.
Emmanuel...