Programmation déclarative, avec une introduction aux différentes formes de programmations déclaratives (programmation par contrainte, programmation logique, programmation logique avec contraintes, programmation parallèle logique, programmation fonctionnelle concurrente) et un découpage en :
- introduction à la programmation logique (avec ProLog)
- application à l'analyse des langages formels (Expressions régulières, langages rationnels)
- introduction à la programmation fonctionnelle concurrente (avec Erlang)
- Enseignant responsable de cours: Denis Bouhineau
- Enseignant responsable de cours: François Puitg
- Enseignant: Frédéric Prost