Bonjour à tous,
La prochaine séance du GdT Prog est jeudi prochain (après-demain), 11/06/2009
Elie Soubiran (PPS/INRIA - PI.R2) parlera de
A unified framework and a transparent name-space for Coq module system
à 15h45 au sous-marin (salle 6A92) sur le site Chevaleret
Toutes les informations concernant ce GdT sont sur :
à bientôt.
Emmanuel...