previous up next contents
Précédent : Diffusion de produits Remonter : Diffusion des résultats Suivant : Autres actions d'enseignement

Enseignement universitaire

Plusieurs membres du projet sont intervenus dans le cadre du DEA d'informatique de Nancy :

Cours Environnement de preuves et réécriture, Démonstration automatique avancée, Adel Bouhoula,

Cours Déduction et Programmation Logique avec Contraintes, Hélène et Claude Kirchner,

Cours Logique (tronc commun), Michaël Rusinowitch,

Organisation du module avancé de déduction automatique, Michaël Rusinowitch.

Adel Bouhoula a organisé des travaux pratiques autour de SPIKE dans le cadre du module Spécification de programmes, Spécification de logiciels de l'ESIAL (3ème année) et du DESS d'informatique de l'Université Henri Poincaré - Nancy 1.

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.