Journée annuelle du groupe LTP (Langages, Types, Preuves)

La journée annuelle du Groupe de Travail LTP (Langages, Types et Preuves) aura lieu le 12 octobre 2015 au LORIA à Nancy. Cette journée sera suivie des journées annuelles des groupes LAC (Langages, Algèbre et Calcul) et GéoCAL (Géométrie du Calcul).

Elle est organisée par Stephan Merz.

Plus d'informations sur http://www.loria.fr/~merz/2015-GeoCal-LAC-LTP/