Site Archive
ActionsEnCours
Journées Nationales
Présentation du GDR
Actions Transverses
Réunion du groupe "Langages, Types et Preuves" 19/11/2010 |
Vie du GDR GPL |
Écrit par Pierre Castéran |
Appel à Participation. Le groupe intitulé "Langages, Types et Preuves" se réunira à Strasbourg le 19 Novembre 2010. |