- Artificial intelligence
- Constraint programming
- Knowledge representation and reasoning
- Expert systems
- Complexity theory
- Advanced data structures
- Algorithmics and computer programming
- Functionnal programming
- Software engineering and object oriented programming
- Constraints logic programming
- Logic for computer science
- Computer architecture
- Operationnal research
- XML & HTML
Algorithmique et
programmation PASCAL
(L2MI - Prog 3)
Outils pour la programmation par contraintes (Master "ILI" et "SIA")
Algorithmique Avancé (Licence Math-Info Semestre 6 - LI5)
Programmation logique - Prolog (Master I Math-Info )
XML (Licence Pro RH )
Prog 4 (Licence Info S5)