GDR GPL - AS2013 https://gdr-gpl.cnrs.fr/taxonomy/term/3 fr Session Actions Emergentes https://gdr-gpl.cnrs.fr/node/134 Thu, 12 Jun 2014 08:18:23 +0000 Yves.Ledru 134 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/134#comments PING - Plateforme d'enseIgNement du Génie Logiciel https://gdr-gpl.cnrs.fr/Actions/Emergentes/PING Mon, 22 Jul 2013 16:11:33 +0000 Sebastien.Mosser 100 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/Actions/Emergentes/PING#comments IOP - Intégration d'Outils de vérification dans la Plate-forme cosyverif https://gdr-gpl.cnrs.fr/Actions/Emergentes/IOP Tue, 09 Jul 2013 12:53:06 +0000 Yves.Ledru 89 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/Actions/Emergentes/IOP#comments Appel à Actions Emergentes 2013 https://gdr-gpl.cnrs.fr/Actions/Emergentes/AS2013 Mon, 13 May 2013 11:33:31 +0000 Yves.Ledru 26 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/Actions/Emergentes/AS2013#comments