JFPC 2014


Appel à communications

JFPC 2014 Dixièmes Journées Francophones de Programmation par Contraintes Du 11 au 13 juin 2014 LERIA, Université d'Angers (UFR Sciences).

http://jfpc-jiaf2014.univ-angers.fr/jfpc

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) / programmation par contraintes (PPC), 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, la configuration, la 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.

Les JFPC 2014 sont organisées conjointement avec les JIAF 2014 (Journées de l'Intelligence Artificielle Fondamentale)


Dates importantes

  • 24 février 2014 : date limite d'envoi des résumés d'articles
  • 3 mars 2014 : date limite de soumission des articles complets longs (10p.) et courts (4p.)
  • 11 avril 2014 : notification aux auteurs
  • 28 avril 2014 : version définitive en français
  • du 11 au 13 juin 2014 : JFPC 2014

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 neuvième édition des JFPC, qui aura lieu à Angers du 11 au 13 juin 2014, fait suite aux manifestations antérieures qui se sont tenues à 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 ou court. 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.

Les articles longs ne doivent pas dépasser 10 pages dans le style de la conférence. Les articles courts sont limités à 4 pages. La durée des présentations orales dépendra de la longueur des articles. Les soumissions se font par voie électronique, en précisant la catégorie : Article long (10 p.) ou Article court (4 p.)

https://www.easychair.org/conferences/?conf=jfpc2014

Modalités de soumission.

Les articles 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 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.

Pour éviter que les meilleurs travaux de la communauté francophone ne soient uniquement présentés dans les congrès internationaux, le comité de programme invite tout membre de la communauté ayant un article en cours de soumission ou récemment accepté (depuis les JFPC 2012) à un congrès international (CP, CPAIOR, IJCAI, AAAI, ECAI, ICTAI, SAT, UAI, etc.) à le soumettre également à JFPC 2014. Ce cas doit être signalé lors de la soumission ainsi que le statut du papier (soumis ou accepté).

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 sur le site de soumission (case à cocher).

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 :

Thierry Petit, LINA, Mines de Nantes, France, Thierry.Petit@mines-nantes.fr

Membres :

Gilles Audemard, CRIL, Université d'Artois, France Marc Christie, Université de Rennes 1/INRIA, France Rémi Coletta, LIRMM, Université de Montpellier, France Emmanuel Coquery, Université Claude Bernard Lyon 1, France Thi-Bich-Hanh Dao, LIFO, Université d'Orléans, France Redouane Ezzahir, Université Ibnzohr, Maroc Jean-Guillaume Fages, TASC - LINA - INRIA, France Djamal Habet, LSIS, Aix-Marseille Université, France Marie-José Huguet, Université de Toulouse, INSA, LAAS-CNRS, France George Katsirelos, INRA, Toulouse, France Mathias Kleiner, Arts & Métiers, CNRS-LSIS, France Arnaud Lallouet, GREYC, Université de Caen - Basse-Normandie, France Frédéric Lardeux, LERIA, Université d'Angers, France Nadjib Lazaar, LIRMM, Université de Montpellier, France David Lesaint, LERIA, Université d'Angers, France Chu-Min Li, MIS, Université de Picardie Jules Verne, France Jean-Baptiste Mairy, Université catholique de Louvain, Belgique Arnaud Malapert, I3S, Université de Nice Sophia Antipolis, France Thierry Martinez, Inria Paris–Rocquencourt, France Jean-Philippe Métivier, GREYC - Université de Caen Basse-Normandie, France Bertrand Neveu, LIGM, Ecole des Ponts Paristech, France Marie Pelleau, Université de Montréal, Canada Laurent Péridy, IMA, Angers, France Charles Prud'Homme, EMNantes, INRIA TASC, CNRS LINA, France Philippe Refalo, IBM, France Florian Richoux, LINA, équipe Tasc, Université de Nantes, France Pierre Roy, Sony CSL Paris, France Michel Rueher, Université de Nice Sophia Antipolis / I3S - CNRS, France Sébastien Tabary, CRIL, Université d'Artois, France Gilles Trombettoni, LIRMM, Université de Montpellier, France Charlotte Truchet, LINA, Université de Nantes, France Michel Vasquez, LGI2P, École des mines d'Alès, France Nadarajen Veerapen, University of Stirling, Écosse, Royaume-Uni Gérard Verfaillie, ONERA, Toulouse, France Julien Vion, UVHC/LAMIH CNRS, France Mohamed Wahbi, INSIGHT, University College Cork, Irlande Stéphane Zampelli, PhD, Ecole Polytechnique de Louvain, Belgique Matthias Zytnicki, INRA MIAT, France


Comité d'organisation

Président :

Frédéric Lardeux, LERIA, Université d'Angers, France jfpc_jiaf_2014@contact.univ-angers.fr

Membres :

Matthieu Basseur, LERIA, Université d'Angers, France Caner Candan, LERIA, Université d'Angers, France Fabien Chhel, LERIA, Université d'Angers, France Adrien Goëffon, LERIA, Université d'Angers, France David Lesaint, LERIA, Université d'Angers, France Frédéric Saubion, LERIA, Université d'Angers, France nike

Deadline: 

Monday, February 24, 2014