Journée Annuelle du Groupe de Travail LTP (Langages, Types et Preuves)
La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 20 octobre 2014 dans les locaux du LRI à Saclay.
Elle est organisée par Marc Pouzet et Sylvain Conchon.
Plus d'informations sur http://www.ensiie.fr/~dubois/LTP.html
Date:
Lundi, 20 Octobre, 2014