Appel à communications JFPC 2016

JFPC 2016 Douzièmes Journées Francophones de Programmation par Contraintes Du 15 au 17 juin 2016 au LIRMM, Université de Montpellier

https://www.supagro.fr/jfpc_jiaf_2016

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 2016 sont organisées conjointement avec les JIAF 2016 (Journées de l’Intelligence Artificielle Fondamentale)

-——————
Dates importantes
-——————

  • 23 février 2016 : date limite d’envoi des résumés d’articles
  • 26 février 2016 : date limite de soumission des articles complets longs (10p.), courts (4p.) et résumé (nouveau)
  • 12 avril 2016 : notification aux auteurs
  • 29 avril 2016: version définitive en français
  • du 15 au 17 juin 2016 : JFPC 2016

-——————
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 douzième édition des JFPC, qui aura lieu à Montpellier du 15 au 17 juin 2016, fait suite aux manifestations antérieures qui se sont tenues à 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 2015), mais avant les prochaines (juin 2016), 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=jfpc2016

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 :

Emmanuel Hebrard (LAAS, Université de Toulouse)
hebrard@laas.fr

Membres :

Lucas Bordeaux, Microsoft Research
Hadrien Cambazard, G-SCOP, Grenoble INP
Sophie Demassey, CMA, Mines ParisTech
Gilles Dequen, MIS, Université de Picardie Jules Verne
Alban Derrien, LINA, Ecolde des Mines de Nantes
Jean-Guillaume Fages, Société Cosling
Carmen Gervet, Maison de la télédétection, Université Montpellier
Djamal Habet, LSIS, Université Aix-Marseille
Marie-José Huguet, LAAS, Université de Toulouse
Jean-Marie Lagniez, CRIL, Université d’Artois
Frédéric Lardeux, LERIA, Université d’Angers
Nadjib Lazaar, LIRMM, Université Montpellier
Olivier Lhomme, IBM Sophia Antipolis
Xavier Lorca, LINA, Ecolde des Mines de Nantes
Jean-Noël Monette, Uppsala Universitet
Samba-Ndojh Ndiaye, LIRIS, Université Claude Bernard Lyon
Alexandre Niveau, GREYC, Université de Caen Normandie
Alexandre Papadopoulos, LIP6, Université Pierre et Marie Curie, Sony CSL
Anastasia Paparrizou, LIRMM, Université Montpellier
Marie Pelleau, Polytechnique-Montréal
Thierry Petit, WPI Business School
Stéphanie Roussel, ONERA, Université de Toulouse
Jean-Charles Régin, I3S, Université Nice Sophia Antipolis
Mohamed Siala, INSIGHT, University College Cork
Laurent Simon, LABRI, Bordeaux INP
Sébastien Tabary, CRIL, Université d’Artois
Cyril Terrioux, LSIS, Université Aix-Marseille
Elise Vareilles, Ecole des Mines d’Albi
Nadarajen Veerapen, University of Stirling
Philippe Vismara, LIRMM, Université Montpellier
Mohamed Wahbi, INSIGHT, University College Cork
Bruno Zanuttini, GREYC, Université de Caen Normandie
Matthias Zytnicki, INRA, Université de Toulouse

-——————
Comité d’organisation
-——————

Président :

Philippe Vismara (LIRMM MISTEA, Montpellier SupAgro)

Vice-présidente :

Marie-Laure Mugnier (LIRMM, Université Montpellier)

Membres :

Nicolas Briot, LIRMM, Université Montpellier
Madalina Croitoru, LIRMM, Université Montpellier
Rémi Coletta, LIRMM, Université Montpellier
Gaëlle Hisler, LIRMM Tellmeplus, Université Montpellier
Michel Leclère, LIRMM, Université Montpellier
Martine Marco, Montpellier SupAgro, MISTEA
Gilles Trombettoni, LIRMM, Université Montpellier
Véronique Sals-Vettorel, Montpellier SupAgro, MISTEA
Olivier Sans, LIRMM, Université Montpellier

https://www.supagro.fr/jfpc_jiaf_2016

--
Emmanuel Hebrard