Présentation
Les Journées Francophones de Programmation par Contraintes (JFPC) sont organisées à l'initiative de l'Association Française de Programmation par Contraintes (AFPC). Elles constituent le principal congrès francophone centré autour des problèmes de satisfaction de contraintes (CSP), de satisfiabilité (SAT) et de programmation logique sous contraintes (CLP). Les JFPC regroupent aussi des thématiques liées comme la recherche opérationnelle (RO), les méta-heuristiques, l'analyse par intervalles...
De part ses applications, la programmation par contraintes s'ouvre à de nombreuses communautés connexes, en particulier la robotique et la bio-informatique. Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'échanges entre doctorants, chercheurs confirmés et industriels. Le congrès réunit chaque année une centaine de chercheurs en programmation par contraintes.
Thèmes
- Algorithmes : filtrage, propagation, contraintes globales, relaxations, optimisation, programmation mathématique, techniques d'intervalles, programmation dynamique, ...
- Problèmes combinatoires et modélisation : CSP, SAT, CSP continus, CSP distribués, contraintes quantifiées, préférences, contraintes souples, réseaux de contraintes fonctionnels, flexibilité, 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 incomplète, 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, ...