Précédent : Amérique Remonter : Actions nationales et internationales Suivant : Participation à des colloques
Précédent : Amérique Remonter : Actions
nationales et internationales Suivant : Participation à
des colloques
N. Hermann a assuré un cours d'un semestre (printemps 1996) sur l'unification, la réécriture et la déduction automatique au Département d'Informatique à l'Université Technique de Vienne en Autriche.
A. Cichon a assuré la partie logique du cours de ``Mathématiques pour l'Informatique'' de la Licence d'informatique de l'Université Henri Poincaré Nancy 1, et de la première année de l'École Supérieure d'Informatique et Applications de Lorraine (ESIAL), des travaux dirigés de programmation logique en DESS, des travaux dirigés de spécification en DESS troisième année de l'ESIAL et le cours Logique 2 du DEA d'informatique de l'UHP. Il est en outre responsable du DESS Informatique de l'Université Henri Poincaré Nancy 1.
G. Kucherov a enseigné le cours de DEA d'Informatique Complexité et analyse d'algorithmes (module de spécialisation) à l'Université de Nancy 1.