Actualités

40e anniversaire de l'ENSIIE

Mercredi 10 décembre 2008

L'ENSIIE célèbrera son 40e anniversaire le mercredi 10 décembre 2008 au Musée de l'informatique.
[Lire la suite]

Soutenance d'HDR

Mardi 2 décembre 2008

Habilitation à Diriger des Recherches de Ivan Augé
Synthèse De Haut Niveau & Intégration Des Systèmes Matériel/Logiciel

Université Pierre et Marie Curie (UPMC) - Paris 6
[Lire la suite]

Journée "Langages, Types et Preuves" à l'ENSIIE

Vendredi 28 novembre 2008

Le groupe intitulé "Langages, Types et Preuves" (LTP) du gdr GPL se réunira à l'ENSIIE.

Cette journée marquera le démarrage des travaux du groupe.

[Lire la suite]

[Voir les archives]