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.
L'efficacité des méthodes de résolution et l'extension des modèles permet à la programmation par contraintes de s'attaquer à des applications nombreuses et variées comme la logistique, l'ordonnancement de tâches, la conception d'emplois du temps, la conception en robotique, l'étude du génôme en bio-informatique, etc.
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.
Les JFPC 2013 sont organisées conjointement avec les JIAF 2013 (Journées de l'Intelligence Artificielle Fondamentale).
L'efficacité des méthodes de résolution et l'extension des modèles permet à la programmation par contraintes de s'attaquer à des applications nombreuses et variées comme la logistique, l'ordonnancement de tâches, la conception d'emplois du temps, la conception en robotique, l'étude du génôme en bio-informatique, etc.
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.
Les JFPC 2013 sont organisées conjointement avec les JIAF 2013 (Journées de l'Intelligence Artificielle Fondamentale).
Comité de programme
Président Charlotte Truchet, LINA, Université de Nantes, France
|
|
Comité d’organisation
Présidents Djamal Habet (JFPC) et Vincent Risch (JIAF), LSIS, Université d'Aix-Marseille, France
|
|