Blog de Sandrine.Blazy https://gdr-gpl.cnrs.fr/blog/85 fr Journée annuelle du groupe LTP de 11 octobre 2017 à Paris Jussieu https://gdr-gpl.cnrs.fr/node/311 Wed, 13 Sep 2017 07:41:06 +0000 Sandrine.Blazy 311 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/311#comments Journée annuelle du groupe LTP le 28 novembre à Orsay https://gdr-gpl.cnrs.fr/node/259 Tue, 25 Oct 2016 09:18:46 +0000 Sandrine.Blazy 259 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/259#comments Journées Francophones des Langages Applicatifs (JFLA) 2017 https://gdr-gpl.cnrs.fr/node/257 Wed, 28 Sep 2016 06:23:32 +0000 Sandrine.Blazy 257 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/257#comments Journée annuelle du groupe LTP (Langages, Types, Preuves) https://gdr-gpl.cnrs.fr/node/217 Fri, 16 Oct 2015 06:02:47 +0000 Sandrine.Blazy 217 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/217#comments