[GdT programmation / séminaire IRILL]: séance du 14 novembre 2012

Bonjour à tous,

     La prochaine séance du GdT Prog est mercredi 14/11/2012  (attention c'est un mercredi)

          Nicolas Pouillard (IT University of Copenhagen, DemTech project)   parlera de 

              Proving cryptographic schemes in Agda

              Dependently typed functional programming for Alice and Bob

    à  15h45  en salle 332 (3ème é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...