- Universités -- 3ème cycle
-
Guy Cousineau est responsable du DEA ``Sémantique, Preuves et
Programmation'' (Paris 6-7-11, X, ENS), et y assure un cours
de mise à niveau d'une semaine en programmation
fonctionnelle.
Didier Rémy, Xavier Leroy et Michel Mauny donnent un cours
intitulé ``Typage et Programmation'' dans le tronc commun de
ce DEA (20 heures au total).
Xavier Leroy assure un cours d'option de ce DEA sur la
compilation des langages fonctionnels (16h).
Christian Queinnec a enseigné, au DEA ITCP de Paris 6, la
sémantique de Scheme (20h).
Michel Mauny a donné une semaine de cours à l'Université
de La Corogne (Espagne) sur ``Typage et Programmation'',
ainsi qu'une semaine de cours de programmation fonctionnelle
à l'Université du Chili.
- École Polytechnique
-
Christian Queinnec a une demi-charge de Maître de Conférences
à l'École Polytechnique où il enseigne Caml-Light et la
compilation de Scheme vers C.
Michel Mauny, Didier Rémy et Pierre Weis sont Chefs de
Travaux Dirigés d'Informatique à temps partiel à l'École
Polytechnique. À ce titre, ils enseignent dans le tronc
commun de première année (52h).
François Rouaix a participé à l'enseignement de Systèmes
et Réseaux de la Majeure ``Informatique Fondamentale et
Applications'' de l'Ecole Polytechnique (20h).
- CNAM
Pierre Weis est professeur associé au CNAM (contrat Barre) où
il assure des cours de Caml en amphithéâtre avec 450 étudiants
(2 heures hebdomadaires).- Écoles d'Ingénieurs
Michel Mauny a donné une semaine de cours de Programmation
Fonctionnelle à l'ISIA (École des Mines de Paris,
Sophia-Antipolis).- Universités -- 1er et 2ème cycle
-
Valérie Ménissier-Morain a occupé pendant l'année
universitaire 1994-1995 un demi-poste d'ATER à l'Université
d'Évry Val d'Essonne (96h) où elle a enseigné l'algorithmique
à travers Caml en licence de mathématiques, la programmation
fonctionnelle avec Caml en seconde année de MIAGE, ainsi que
de la bureautique en première année de DEUG Sciences
Humaines. Ce demi-poste a été transformé pour l'année
universitaire 1995-1996 en poste à temps complet (192h).
Valérie Ménissier-Morain enseigne comme l'année précédente
l'algorithmique à travers Caml en licence de mathématiques et
débute par ailleurs un nouveau cours d'informatique en
utilisant Caml en première année de DEUG sciences.
Christian Rinderknecht, moniteur à l'université Paris 7, a
assuré des travaux dirigés d'informatique en deuxième année
de DEUG (64h).
Émilie Sayag a assuré des travaux pratiques d'informatique
(enseignement du logiciel de calcul formel Maple) à
l'université de Versailles-Saint Quentin (54h). Elle a
également enseigné les langages Caml Light et Pascal au cours
de travaux dirigés à l'université d'Évry-Val d'Essonne
(45h).
