L1 Sciences , mention informatique : Introduction à l'informatique et à la programmation (IF1).
L2 Sciences , mention informatique : Outils Logiques (OL3).
M1 INFO: Prolog et programmation par contraintes.
M1 INFO: Introduction à l'Intelligence Artificielle