Septièmes Journées Francophones de
Programmation par Contraintes (JFPC)
du 8 au 10 juin 2011
à l'initiative de l'Association Française de Programmation par Contraintes
Les JFPC 2011 sont finies, les actes sont disponibles ici.
Les transparents de l'exposé de Patrice Perny sont disponibles ici.
Appel à communications
Les JFPC (Journées Francophones de Programmation par Contraintes) sont le principal congrès de la communauté francophone travaillant sur les problèmes de satisfaction de contraintes (CSP), le problème de la satisfiabilité d'une formule logique propositionnelle (SAT) et/ou la programmation logique avec contraintes (CLP). La communauté de programmation par contraintes entretient également des liens avec la programmation linéaire en nombres entiers (PLNE), l'analyse par intervalles (CSP sur les réels), la recherche locale et différents domaines de l'intelligence artificielle.
De par les langages et les algorithmes mis en oeuvre dans ses logiciels de résolution, la programmation par contraintes permet de s'attaquer à des domaines applicatifs nombreux et variés en recherche opérationnelle (ex : ordonnancement de tâches, conception d'emplois du temps, problèmes d'optimisation), en robotique (ex : conception optimale de robot) ou en bio-informatique (ex : étude du génôme).
Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'échanges pour la communauté francophone, en particulier entre doctorants, chercheurs plus confirmés et industriels. L'importance des JFPC est reflétée par la part considérable (environ un tiers) de la communauté francophone dans la recherche mondiale dans ce domaine.
Thèmes
- 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, ...
Numéro spécial de RIA
A l'issue des JFPC, il sera proposé aux meilleurs travaux une publication en anglais dans un numéro spécial de la revue RIA en vue d'une distribution au moment de la conférence ECAI'2012 à Montpellier.
