-
‣2000-2002
-
•Travaux pratiques d'algorithmique et programmation, 1ère candidature (INFO 006)
-
•Travaux pratiques d'algorithmique générale I, 1ère candidature (INFO 090)
-
•Travaux pratiques de fonctionnement des ordinateurs, 1ère candidature (INFO 018)
-
•Travaux pratiques de preuves automatiques, 2ème licence et maîtrise (INFO 149)
-
‣2002-2003
-
•Travaux pratiques d'algorithmique et programmation, 1ère candidature (INFO 006)
-
•Travaux pratiques de fonctionnement des ordinateurs, 1ère candidature (INFO 018)
-
•Travaux pratiques de preuves automatiques, 2ème licence et maîtrise (INFO 149)
-
‣2003-2004
-
•Travaux pratiques d'algorithmique et programmation, 1ère candidature (INFO 006)
-
•Travaux pratiques d'algorithmique générale I, 1ère candidature (INFO 090)
-
•Travaux pratiques de fonctionnement des ordinateurs, 1ère candidature (INFO 018)
-
•Travaux pratiques d’informatique, 2ème candidature (INFO-F-206)
-
•Travaux pratiques de preuves automatiques, 2ème licence et maîtrise (INFO 149)
-
‣2004-2006
-
•Travaux pratiques de programmation, 1ère année de bachelier (INFO-F-101)
-
•Travaux pratiques d’architecture 1, 1ère année de bachelier (INFO-F-102)
-
•Travaux pratiques d’informatique, 2ème année de bachelier (INFO-F-206)
-
•Travaux pratiques de preuves automatiques, 2ème licence (INFO 149)