| INFO0049-1 | | Représentation de la connaissance | | Titulaire |
| INFO0050-1 | | Systèmes experts | | Titulaire |
| INFO0051-1 | | Logiques pour l'intelligence artificielle | | Titulaire |
| INFO0052-1 | | Théorie de l'apprentissage | | Titulaire |
| INFO0054-1 | | Eléments de programmation | | Titulaire |
| INFO0058-1 | | Introduction à l'intelligence artificielle | | Titulaire |
| INFO0060-1 | | Vérification de systèmes parallèles et logique temporelle | | Titulaire |
| INFO0440-1 | | Informatique (y compris l'application de l'informatique aux processus biomédicaux) | | Suppléant |
| PHIL0043-1 | | Exercices de logique | | Suppléant |