index - JFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes Accéder directement au contenu

Actes des Neuvièmes Journées Francophones de Programmation par Contraintes

JFPC 2013
12-14 juin, Aix-en-Provence, France



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

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énôme 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 plus 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 2013 sont organisées conjointement avec les JIAF 2013 (Journées de l'Intelligence Artificielle Fondamentale).


Comité de programme


Président Charlotte Truchet, LINA, Université de Nantes, France
  • Patrice Boizumault, GREYC, Université de Caen Basse-Normandie, France
  • Hadrien Cambazard, G-SCOP, Université de Grenoble, France
  • Gilles Chabert, LINA, Université de Nantes, France
  • Rémi Coletta, LIRMM, Université de Montpellier, France
  • Nadia Creignou, LIF, Université d'Aix-Marseille, France
  • Thi-Bich-Hanh Dao, LIFO, Université d'Orléans, France
  • Gilles Dequen, MIS, Université de Picardie Jules Verne, France
  • Khalil Djelloul, LIFO, Université d'Orléans, France
  • Hélène Fargier, IRIT, Université Paul Sabatier, France
  • Frédéric Gardi, Bouygues e-lab, France
  • Carmen Gervet, German University in Cairo, Egypte
  • Laurent Granvilliers, LINA, Université de Nantes, France
  • Djamal Habet, LSIS, Université d'Aix-Marseille, France
  • Emmanuel Hebrard, LAAS, CNRS, France
  • George Katsirelos, INRA, Toulouse, France
  • Jean-Marie Lagniez, FMV, Johannes Kepler University, Austria
  • Frédéric Lardeux, LERIA, Université d'Angers, France
  • Nadjib Lazaar, LIRMM, Université de Montpellier, France
  • Olivier Lhomme, IBM France
  • Xavier Lorca, LINA, Ecole des Mines de Nantes, France
  • Florent Madelaine, LIMOS, Université d'Auvergne, France
  • Arnaud Malapert, I3S, Université Nice Sophia Antipolis, France
  • Jean-Noël Monette Uppsala Universitet, Uppsala, Suède
  • Eric Monfroy, LINA, Université de Nantes, France
  • Samba-Ndojh Ndiaye, LIRIS, Université Claude Bernard Lyon 1, France
  • Nicolas Prcovic, LSIS, Université d'Aix-Marseille, France
  • Benoît Rottembourg, Eurodecision
  • Louis-Martin Rousseau, Ecole Polytechnique de Montréal, Montréal, Canada
  • Olivier Roussel, CRIL, Université d'Artois, France
  • Lakhdar Sais, CRIL, Université d'Artois, France
  • Pierre Schaus, Université Catholique de Louvain, Belgique
  • Pierre Siegel, LIF, Université d'Aix-Marseille, France
  • Laurent Simon, LRI, Université Paris Sud, France
  • Sylvain Soliman, INRIA Paris-Rocquencourt, France
  • Igor Stephan, LERIA, Université d'Angers, France
  • Elise Vareilles, Ecole des Mines d'Albi-Carmaux, Université de Toulouse, France
  • Julien Vion, LAMIH, Université de Valenciennes et du Hainaut-Cambrésis, France
  • Philippe Vismara, LIRMM, SupAgro, France
  • Bruno Zanuttini, GREYC, Université de Caen Basse-Normandie, France

Comité d’organisation


Présidents Djamal Habet (JFPC) et Vincent Risch (JIAF), LSIS, Université d'Aix-Marseille, France
  • Nadia Creignou, LIF, Université d'Aix-Marseille, France
  • Stéphane Grandcolas, LSIS, Université d'Aix-Marseille, France        
  • Philippe Jégou, LSIS, Université d'Aix-Marseille, France
  • Nicola Olivetti, LSIS, Université d'Aix-Marseille, France
  • Richard Ostrowski, LSIS, Université d'Aix-Marseille, France
  • Cyril Pain-Barre, LSIS, Université d'Aix-Marseille, France
  • Odile Papini, LSIS, Université d'Aix-Marseille, France
  • Lionel Paris, LSIS, Université d'Aix-Marseille, France
  • Nicolas Prcovic, LSIS, Université d'Aix-Marseille, France
  • Pierre Siegel, LIF, Université d'Aix-Marseille, France
  • Cyril Terrioux, LSIS, Université d'Aix-Marseille, France
  • Eric Würbel, LSIS, Université du Sud Toulon - Var, France
  • Safa Yahi, LSIS, Université d'Aix-Marseille, France
Association Française pour la Programmation par Contraintes GdR I3 (Information-Interaction-Intelligence) Index Education LSIS - Laboratoire des Sciences de l'Information et des systèmes

Réalisation : services IST Inria Paris-Rocquencourt et Sophia Antipolis Méditerranée