Groupe de travail LTP "Langages, Types et Preuves" du GDR GPL
- Le GDR GPL
-
Présentation du groupe de travail LTP
- Les réunions du groupe de travail LTP
- Novembre 2008, ENSIIE, Evry voir
- Octobre 2009, LACL, Université Paris XII
- Novembre 2010, LSIIT, Université de Strasbourg voir
- Octobre 2011, INRIA Rennes, journée organisée conjointement
avec le groupe MTV2, voir
- Octobre 2012, LIFO Orléans, journées
organisées conjointement avec le groupe LAMHA et le groupe
LAC du GDR IM - avec une journée de tutoriel
sur Isabelle/HOL.
voir
- Novembre 2013, LABRI, Bordeaux, voir
- 20 octobre 2014, LRI, Saclay, voir
- JFLA : Journées francophones des langages applicatifs,
conférence soutenue par le groupe LTP et le GDR GPL