previous up next top index
Précédent : Diffusion des résultats Remonter : Diffusion des résultats Suivant : Participation à des colloquesconférences,


Actions d'enseignement

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.