Teaching
Lecture Courses given in the year 2009/2010
- OL3 - Outils Logiques, 2nd year (niveau L2),
Université Paris-Diderot.
- PF5 - Programmation Fonctionnelle, 3rd year (niveau L3),
Université Paris-Diderot.
- Programmation Logique et par Contraintes avancée,
5th year (niveau M2), Université Paris-Diderot.
- Résolution de contraintes, 2nd year MPRI (niveau
M2), part of cours 2-5
(Démonstration Automatique)
- LL4 - Logiciel Libre, 2nd year (niveau L2),
Université Paris-Diderot.
Some Courses Given in Previous Years
[Back to the Main Page]