- Algorithmes de résolution : filtrage, propagation de
contraintes, contraintes globales, relaxations,
optimisation, programmation mathématique, technique d'intervalles,
programmation dynamique, ...
- Problèmes combinatoires : CSP, SAT, CSP continus, CSP
distribués, contraintes quantifiées, préférences et
contraintes souples, CSP pondérés, optimisation
combinatoire, complexité des problèmes, décomposition,
incertitude, problèmes stochastiques, ...
- Méthodes de recherche : algorithmes de recherche
arborescente, symétries, algorithmes autonomes/adaptatifs,
recherche incomplete, recherche locale, métaheuristiques,
branch and bound, méthodes hybrides,...
- Langages et implémentation : langages de programmation en
logique et/ou par contraintes, théorie et sémantique,
techniques d'implémentation, analyse statique et typage,
environnements de programmation, ...
- Applications : modélisation et résolution de problèmes
réels, benchmarks et bibliothèques de problèmes, nouveaux
domaines applicatifs, ...
- Enseignement de la programmation en logique et/ou par
contraintes : cours, travaux pratiques, langages de
résolution, outils d'enseignement, ...