| INFO0030-3 | | Projet de programmation | | Suppléant |
 |
| INFO0030-4 | | Projet de programmation | | Suppléant |
|
| INFO0049-1 | | Représentation de la connaissance | | Titulaire |
|
| INFO0050-1 | | Programmation par contraintes | | Titulaire |
|
| INFO0051-1 | | Logiques pour l'intelligence artificielle | | Titulaire |
|
| INFO0054-1 | | Programmation fonctionnelle | | Titulaire |
|
| INFO0058-1 | | Introduction à l'intelligence artificielle | | Titulaire |
|
| INFO0060-1 | | Vérification de systèmes parallèles et logique temporelle | | Titulaire |
|
| INFO0903-2 | | Introduction to Artificial Intelligence and Computer Vision (50 % en anglais) | | Titulaire |
|
| PHIL0043-1 | | Exercices de logique | | Titulaire |
|
