----------------------------------------------------------------- Appel à communication --------------------- JFPC 2009 Cinquièmes Journées Francophones de Programmation par Contraintes http://www.univ-orleans.fr/evenements/jfpc/ Orléans - Université d'Orléans du 3 au 5 juin 2009 ----------------------------------------------------------------- Dates importantes : * 21 février 2009 : date limite d'envoi des résumés d'articles * 28 février 2009 : date limite de soumission des articles complets * 4 avril 2009 : notification aux auteurs * 30 avril 2009 : version définitive en français * du 3 au 5 juin 2009 : JFPC 2009 Congrès à l'initiative de l'Association Française de Programmation par Contraintes : http://www.afpc-asso.org/ Les JFPC (Journées Francophones de Programmation par Contraintes) sont le principal congrès des communautés francophones 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. De par les langages et les algorithmes mis en oeuvre dans ses logiciels de résolution, la programmation par contraintes permet de s'attaquer à des domaines applicatifs nombreux et variés en recherche opérationnelle (ex : ordonnancement de tâches, conception d'emplois du temps, problèmes d'optimisation), en robotique (ex : conception optimale de robot) ou en bio-informatique (ex : étude du génôme). Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'échanges pour la communauté francophone, en particulier entre thésards, chercheurs plus confirmés et industriels. L'importance des JFPC est reflétée par la part considérable, d'environ 25%, de la communauté francophone dans la recherche mondiale dans ce domaine. Thèmes : * Algorithmes de résolution : filtrage, propagation de contraintes, contraintes globales, relaxations, optimisation, programmation mathématique, technique d'intervalles, programmation dynamique, ... * Problèmes combinatoires : CSP, SAT, CSP continus, CSP distribués, contraintes quantifiées, préférences et contraintes souples, CSP pondérés, 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 incomplete, 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, ... * Enseignement de la programmation en logique et/ou par contraintes : cours, travaux pratiques, langages de résolution, outils d'enseignement, ... 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 cinquième édition des JFPC, qui aura lieu à Orléans du 3 au 5 juin 2009, fait suite aux manifestations antérieures qui se sont tenues à 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 articles ne doivent pas dépasser 10 pages dans le style de la conférence. Les soumissions se font par voie électronique (http://www.easychair.org/conferences/?conf=jfpc09). Modalités de soumission. Les articles peuvent être soumis en français ou en anglais, mais la version finale devra être en français. 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é soumettant ses travaux à un congrès international à les soumettre parallèlement à JFPC 2008. Ce cas doit être signalé lors de la soumission ainsi que le statut du papier (soumis ou accepté). Les travaux acceptés seront présentés oralement lors de la conférence. La version finale de l'article, s'il est accepté, devra être écrite en français et sera publiée dans les actes des journées. Jeunes chercheurs : Un objectif des journées est de permettre aux jeunes chercheurs du domaine de présenter leurs travaux à l'ensemble de la communauté francophone. Aussi les étudiants en thèse sont-ils encouragés à soumettre à la communauté leurs travaux en cours ; certains articles décrivant des travaux partiellement aboutis mais portant des perspectives intéressantes pourront être sélectionnés dans une session spéciale "jeunes chercheurs". Comité de programme : Président : Yves Deville, UCLouvain, Belgique Membres : Philippe Baptiste, LIX Palaiseau Mustapha Belaissaoui, Univ. Hassan I Maroc Nicolas Beldiceanu, EMN/LINA Nantes Christian Bessiere, CNRS/LIRMM Univ. Montpellier Hadrien Cambazard, 4C Cork,Ireland Philippe Chatalic, LRI Orsay Thi Bich Hanh Dao, LIFO Orleans Simon de Givry, INRA Toulouse Sophie Demassey, EMN/LINA Nantes François Fages, INRIA Rocquencourt Pierre Flener, IT Uppsala Univ., Suède Alexandre Godsztejn, CNRS/LINA Nantes Arnaud Gotlieb, IRISA Rennes Youssef Hamadi, Microsoft Research Cambridge Royaume Uni Mhand Hifi, MIS Amiens Daniel Le Berre, CRIL Université d'Artois Christophe Lecoutre, CRIL Université d'Artois Laurent Michel, Univ. Connect. USA Wadi Naanaa, Univ. Monastir Tunisie Lionel Paris, LSIS Marseille Laurent Perron, Google Paris Cédric Pralet, Onera Toulouse Philippe Refalo, ILOG Sophia-Antipolis Gilles Pesant, Polytechnique Montréal Michel Rueher, I3S/CNRS Université de Nice Sophia Antipolis Frédéric Saubion, LERIA Angers Pierre Schaus, UCLouvain Belgique Christine Solnon, LIRIS Lyon Cyril Terrioux, LSIS Marseille Alexandre Tessier, LIFO Orléans Gilles Trombettoni, INRIA Sophia Charlotte Truchet, LINA Université de Nantes Michel Vasquez, EMA Nîmes Stéphane Zampelli, EMN/LINA Nantes Bruno Zanuttini, GREYC Univ. de Caen Basse-Normandie