Précédent : Diffusion des résultats Remonter : Diffusion des résultats Suivant : Participation à des colloquesconférences,
Précédent : Diffusion des résultats Remonter :
Diffusion des résultats Suivant :
Participation à des
colloquesconférences,
Plusieurs membres du projet sont intervenus dans le cadre du DEA d'informatique de Nancy :
Cours de logique, Denis Lugiez, Michaël Rusinowitch
Démonstration automatique avancée, Adel Bouhoula
Déduction et Programmation avec Contraintes, Claude Kirchner, Hélène Kirchner
Organisation et encadrement des travaux pratiques autour de SPIKE dans le cadre du module Programmation Avancée du DU d'Architecture de l'Université Henri Poincaré - Nancy I, Adel Bouhoula
Participation à l'Ecole des jeunes chercheurs du GDR Programmation, Bordeaux, avril 96, cours Réécriture et Calcul équationnel, Claude Kirchner
Le projet comprend également des moniteurs et ATERs qui enseignent dans différentes universités de l'académie dans le cadre normal de leurs activités.