Les JFPC (Journées Francophones de Programmation par Contraintes) sont patronnées par l'AFPC (Association Française pour la Programmation par Contraintes), et sont issues de la fusion des conférences JFPLC (Journées Francophones de la Programmation Logique avec Contraintes) et JNPC (Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets). Cette première édition des JFPC, qui aura lieu à Lens du 8 au 10 juin 2005, fait suite à une série de manifestations conjointes JFPLC/JNPC, réunissant des chercheurs issus de l'informatique théorique, de la programmation logique, de l'intelligence artificielle et de la recherche opérationnelle, à Angers (2004), Amiens (2003), Nice (2002), Marseille (2000), Lyon (1999) et Nantes (1998).

Thèmes de la conférence

Les JFPC se veulent un lieu convivial de rencontres, discussions et échanges, pour la communauté francophone, autour des thèmes suivants :

• Langages de programmation en logique et/ou par contraintes : théorie et sémantique, conception et implantation, analyse statique et typage, environnements de programmation, contraintes globales, ...
• Problèmes combinatoires : CSP, contraintes souples, CSP continus, MINLP, optimisation numérique, contraintes numériques quantifiées, logique propositionnelle, SAT, optimisation combinatoire (cliques, voyageur de commerce ...), programmation mathématique, PLNE, ...
• Techniques de résolution : algorithmes de filtrage et propagation de contraintes, intervalles, relaxation, recherche locale et métaheuristiques, hybridations, ...
• Applications : modélisation et résolution de problèmes réels, benchmarks et bibliothèques de problèmes, ...
• Enseignement de la programmation en logique et/ou par contraintes, description de cours, de travaux pratiques, outils pour l'enseignement de ces langages, ...

Un autre objectif des journées est de permettre aux jeunes chercheurs du domaine de présenter leurs travaux à l'ensemble de la communauté française. 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. Par ailleurs, pour éviter que les meilleurs travaux de la communauté française ne soient uniquement présentés et discutés hors de France, dans les conférences internationales, le comité de programme invite tout membre de la communauté soumettant ses travaux à une conférence internationale à les soumettre parallèlement à JFPC'2005. La seule condition à cette double soumission est que la version finale de l'article, s'il est accepté, soit écrite en français (langue officielle des journées).

Modalités de soumission

Les articles ne doivent pas dépasser 10 pages dans le style de la conférence (attention : il s'agit d'un nouveau style, différent de celui des années précédentes).

• Fichier de style Latex
• Exemple (postscript)
• Exemple (source .tex)

Les articles peuvent être soumis en anglais, mais la version finale devra être en français. Le titre, le résumé et les noms des auteurs devront être saisis sur le site de la conférence avant le 27 février 2005. L'article au format pdf devra être posté avant le 6 mars 2005. 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 à la conférence par un des auteurs. Pour tout problème lié à la soumission, vous pouvez envoyer un courrier à christine.solnon at liris.cnrs.fr (indiquer jfpc05 dans le sujet).

Comité de programme

Présidente et contact :

Christine Solnon christine.solnon at liris.cnrs.fr

LIRIS, University Lyon 1

Membres :

Abderrahmane Aggoun

Cosytec

Gilles Audemard

CRIL, Université d'Artois

Vincent Barichard

LERIA, Université d'Angers

Pierre Deransart

INRIA Rocquencourt

Mireille Ducassé

IRISA/INSA de Rennes

François Fages

INRIA Rocquencourt

Khaled Ghédira

ENSI, Tunisie

Simon de Givry

INRA Toulouse

Arnaud Gotlieb

IRISA, Université de Rennes

Jin-Kao Hao

LERIA, Université d'Angers

Laurent Henocque

LSIS, Ecole Supérieure d'Ingénieurs de Luminy

Christophe Jermann

LINA, Université de Nantes

Narendra Jussien

Ecole des Mines de Nantes

François Laburthe

Bouygues

Arnaud Lallouet

LIFO, Université d'Orléans

Olivier Lhomme

Ilog

Chu-Min Li

LARIA, Université Picardie Jules Verne

Arnold Maestre

LIRMM, Université Montpellier II

Juliette Mattioli

Thales

Fred Mesnard

IREMIA, Université de la Réunion

Bertrand Neveu

CERTIS/INRIA Sophia Antipolis

Andreas Podelski

Max-Planck-Institut für Informatik, Allemagne

Jean-Charles Régin

Ilog

Louis-Martin Rousseau

Ecole Polytechnique de Montréal, Canada

Laurent Simon

LRI, Université Paris Sud XI

Sébastien Sorlin

LIRIS, Université Lyon 1

Gilles Trombettoni

I3S, Université de Nice-Sophia Antipolis

Charlotte Truchet

LINA, Université de Nantes

Michel Vasquez

Ecole des Mines d'Ales

Gérard Verfaillie

LAAS

Vincent Vidal

CRIL, Université d'Artois

Comité d'organisation

Centre de Recherche en Informatique de Lens (CRIL - CNRS FRE 2499)

Président et contact : Lakhdar Saïs jfpc05 at cril.univ-artois.fr

---