Association Française pour la Programmation par Contraintes – Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre Programmation par Contraintes: Décrivez votre problème, laissez les solveurs le résoudre

[JFPC 2014] Appel à communications

-—————————–-—
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


archive

Archive