JFPLC'2002, la dixième édition des journées francophones de programmation logique et programmation par contraintes, fait suite aux précédentes rencontres qui se sont tenues à Paris (2001), Marseille (2000), Lyon (99), Nantes (98), Orléans (97), Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Nîmes (93) et Lille (92).

Les journées francophones de programmation logique et programmation par contraintes, patronnées par l'AFPLC (Association Française pour la Programmation Logique et par Contraintes), ont pour but de faire le point sur les recherches récentes dans ces différents domaines avec une attention particulière sur les inter-relations entre les multiples aspects qui composent la programmation logique, la programmation par contraintes et les domaines d'application.

Nous encourageons tout particulièrement les chercheurs qui travaillent sur des applications nouvelles de la programmation logique et de la programmation par contraintes à soumettre leurs travaux. Nous souhaitons aussi ouvrir JFPLC'2002 à des articles sur l'enseignement de la programmation logique et de la programmation par contraintes. Ces articles seront évalués sur leur originalité et la pertinence de leur contenu pour la communauté des enseignants.

Le programme de la conférence inclura des conférences invitées, la présentation de papiers référés, de posters et des sessions communes avec les JNPC'2002.

Un prix sera décerné au meilleur article présenté par un ou plusieurs jeunes chercheurs (aucun auteur n'ayant soutenu sa thèse avant le 31 décembre 2001 ; si ces conditions sont remplies, le préciser lors de la soumission).

Les articles pourront être soumis sur tout domaine théorique et expérimental relevant de la programmation logique ou par contraintes. Les principaux thèmes sont :

• Programmation par contraintes (problèmes de satisfaction, problèmes d'optimisation, problèmes sur-contraints, méthodes de recherche locale, contraintes du premier ordre, ...)
• Langages de programmation en logique ou par contraintes (théorie et sémantique, analyse statique, conception et implantation de langages, environnements de programmation, parallélisme et concurrence, ...)
• Applications (problèmes combinatoires, modélisation de problèmes réels, systèmes de vérification basés sur le schéma CLP, bases de données, internet, ...)

Les articles¹ ne doivent pas dépasser 15 pages dans le style fourni sur la page Web des journées. Les travaux acceptés doivent être présentés à la conférence par un des auteurs. Les langues officielles des journées sont le français et l'anglais. Les soumissions devront être envoyées électroniquement avant le 20 02 2002 (voir instructions pour les auteurs http://www-sop.inria.fr/coprin/jfplc2002/instructions_jfplc.html). Les actes de la conférence seront publiés par Hermès.