Journées communes LTP - LAMHA - LAC PDF Imprimer
Écrit par Yves Ledru   

Les groupes de travail LTP (Langages, Types et Preuves - GDR GPL), LAMHA (Langages et Modèles de Haut niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications - GDR GPL) et LAC (Logique Algèbre et Calcul - GDR IM)  tiendront une réunion commune à l'université d'Orléans les 25 et 26 octobre 2012.

Plus d'information sur
http://traclifo.univ-orleans.fr/PaPDAS/wiki/Journees_LLL.
Mise à jour le Mercredi, 12 Septembre 2012 07:31