Claude Kirchner et Michaël Rusinowitch ont donné des cours intitulés respectivement ``Calcul équationnel'' et ``Résolution et Paramodulation'' à l'Ecole des jeunes chercheurs du GDR Programmation, Nancy, en avril 95.
