• 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, ...