———————————-
Appel à communications
———————————-
JFPC 2017
Les treizièmes Journées Francophones de Programmation par Contraintes auront lieu du 13 au 15 juin 2017 à Montreuil sur Mer. Elles sont organisées par le CRIL, Université d’Artois.
http://www.cril.univ-artois.fr/jfpc2017
Congrès à l’initiative de l’Association Française de Programmation par Contraintes (AFPC) : http://www.afpc-asso.org/
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 recherche opérationnelle (RO), l’analyse par intervalles, 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énome 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 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.
——————-
Dates importantes
——————-
* 20 février 2017 : date limite d’envoi des résumés d’articles
* 24 février 2017 : date limite de soumission des articles complets longs (10p.), courts (4p.) et résumé d’articles déjà acceptés (2p.)
* 12 avril 2017 : notification aux auteurs
* 28 avril 2017: version définitive en français
* du 13 au 15 juin 2017 : JFPC 2017
——————-
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, …
——————-
Historique
——————-
Les JFPC (Journées Francophones de Programmation par Contraintes) sont patronnées par l’AFPC (Association Française pour la Programmation par Contraintes). Cette treizième édition des JFPC, qui aura lieu à Lens du 13 au 15 juin 2017, fait suite aux manifestations antérieures qui se sont tenues à Montpellier (2016), Bordeaux (2015), Angers (2014), Aix-en-Provence (2013), Toulouse (2012), Lyon (2011), Caen (2010), Orléans (2009), Nantes (2008), Rocquencourt (2007), Nîmes (2006) et Lens (2005).
Les JFPC sont issues de la fusion des conférences JFPLC (Journées Francophones de la Programmation Logique avec Contraintes) nées en 1992 et des JNPC (Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets) nées en 1994. Avant cette fusion, le rapprochement entre les deux communautés s’est traduit, depuis 1998, par l’organisation conjointe des JFPLC et des JNPC : Angers (2004), Amiens (2003), Nice (2002), Marseille (2000), Lyon (1999) et Nantes (1998).
——————-
Soumission
——————-
Les soumissions peuvent être sous forme d’article long (10 pages), court (4 pages), ou de résumé d’article publié (2 pages).
Les articles courts peuvent par exemple présenter des travaux préliminaires de jeunes chercheurs, un panorama des travaux en cours au sein d’un projet de recherche ou d’un laboratoire, une application résolue avec la programmation par contraintes, ou encore un logiciel de programmation par contraintes.
Pour éviter que les meilleurs travaux de la communauté francophone ne soient uniquement présentés dans les congrès internationaux, il est en outre possible de soumettre des résumés de papiers soumis ou publiés. Il peut s’agir d’articles récemment publiés dans les grandes conférences internationales (telles que IJCAI, ECAI, AAAI, CP, CPAIOR, SAT, UAI…) ou des revues. L’article devra avoir été publié après les dernières JFPC (juin 2016), mais avant les prochaines (juin 2017), et ne pas avoir déjà été présenté aux JFPC. Les résumés doivent être en français et doivent mentionner l’article en version originale. Le résumé ne devra pas dépasser deux pages et donnera les grandes lignes du travail réalisé. Ce type de soumission avec un processus de relecture plus succinct permettra ainsi à leurs auteurs de présenter à notre communauté certains de leurs derniers travaux.
Modalités de soumission.
Les soumissions se font via easychair : https://easychair.org/conferences/?conf=jfpc2017
Les articles courts ou longs peuvent être soumis en français ou en anglais, mais la version finale devra être en français si au moins un des auteurs est francophone. Les résumés des travaux récents seront directement soumis en français, accompagné de l’article original (dans un document unique). Les travaux acceptés seront publiés dans les actes des journées et mis à disposition sur le site de l’AFPC. Ils devront être présentés oralement lors du congrès. La durée de présentation dépendra du type de soumission. Les JFPC se veulent particulièrement ouvertes aux jeunes chercheurs, et encouragent vivement les doctorants à soumettre dès leur première année de thèse. Si le premier auteur d’un article est un doctorant, il peut l’indiquer par une note de bas de page.
Enfin, le comité de programme portera une attention particulière à la démarche scientifique suivie. En particulier, si l’article contient des résultats expérimentaux, les auteurs sont invités à :
– donner les informations les plus claires possibles sur la démarche expérimentale (choix des instances, outils logiciels utilisés, configuration, etc)
– si les résultats ne peuvent pas être intégralement présentés dans le papier, fournir l’intégralité des résultats dans une annexe disponible en ligne. Dans ce cas, l’article soumis doit être lisible indépendamment de l’annexe, et l’annexe ne devra contenir que les résultats expérimentaux complémentaires.
——————-
Comité de Programme
——————-
Président :
Frédéric LARDEUX, LERIA, Université d’Angers
frederic.lardeux@univ-angers.fr
Membres :
Gilles AUDEMARD, CRIL, Université d’Artois
Vincent BARICHARD, LERIA, Université d’Angers
Fabien CHHEL, Groupe ESEO
Thi-Bich-Hanh DAO, University of Orleans
Gilles DEQUEN, MIS/UPJV, Université de Picardie Jules Verne
Pierre DESPORT, LERIA, Université d’Angers
Steven GAY, Universté Catholique de Louvain
Djamal HABET, LSIS UMR 7296, Université d’Aix-Marseille
Emmanuel HEBRARD, LAAS, CNRS, Université de Toulouse
Marie-José HUGUET, LAAS-CNRS, Université de Toulouse
Jean Marie LAGNIEZ, CRIL, Université d’Artois
Arnaud LALLOUET, Huawei Technologies Ltd
Nadjib LAZAAR, UM2-LIRMM, Université de Montpellier 2
Olivier LHOMME, IBM France
Xavier LORCA, Ecole des Mines de Nantes
Eric MONFROY, LINA, UMR 6241, Université de Nantes
Samba Ndojh NDIAYE, LIRIS, Université Claude Bernard Lyon 1
Alexandre NIVEAU, GREYC, Université de Caen–Basse-Normandie
Alexandre PAPADOPOULOS, LIP6 UPMC, Sony CSL
Anastasia PAPARRIZOU, CRIL, Université d’Artois
Thierry PETIT, Worcester Polytechnique Institute, USA
Cédric PIETTE, CRIL – CNRS, Université d’Artois
Jean-Charles REGIN, University Nice-Sophia Antipolis / I3S / CNRS
Mohamed SIALA, Insight Centre for Data Analytics, Department of Computer Science, University College Cork,
Laurent SIMON, Labri, Bordeaux Institute of Technology
Cyril TERRIOUX, LSIS, UMR CNRS 7296 – Université d’Aix-Marseille
Elise VAREILLES, Toulouse University – Mines Albi – CGI, Albi
Nadarajen VEERAPEN, University of Stirling
Philippe VISMARA, LIRMM, SupAgro
Mohamed WAHBI, Insight, University College Cork
——————-
Comité d’organisation
——————-
Président :
Christophe LECOUTRE, CRIL, Université d’Artois
Vice-président :
Sébastien TABARY, CRIL, Université d’Artois
Membres :
Gilles AUDEMARD, CRIL, Université d’Artois
Frédéric BOUSSEMART, CRIL, Université d’Artois
Gaël GLORIAN, CRIL, Université d’Artois
Fred HEMERY, CRIL, Université d’Artois
Eric PIETTE, CRIL, Université d’Artois
Cédric PIETTE, CRIL, Université d’Artois
Olivier ROUSSEL, CRIL, Université d’Artois
Nicolas SZCZEPANSKI, CRIL, Université d’Artois
http://www.cril.univ-artois.fr/jfpc2017
—
—————————————–
Frédéric Lardeux
LERIA, Université d’Angers
e-mail: frederic.lardeux@univ-angers.fr
http://www.info.univ-angers.fr/~lardeux/
phone: (+33)2 41 73 52 73
—————————————–