Appel à communications

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), sont organisées cette année conjointement avec le congrès inaugural de l'ASTI (Association Française des Sciences et Technologies de l'Information), 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. JFPLC'2001 fait suite aux précédentes rencontres qui se sont tenues à Marseille (2000), Lyon (99), Nantes (98), Orléans (97), Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Nîmes (93) et Lille (92).

Le programme de la conférence inclura des conférences invitées, la présentation de papiers référés, des présentations de posters et démonstrations (appel ultérieur), des sessions communes avec d'autres conférences et une exposition.

Les actes de la conférence seront publiés par Hermès. Les langues officielles des journées sont le français et l'anglais.

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 2000). Si ces conditions sont remplies, le spécifier impérativement lors de la soumission.

Thèmes. Les articles pourront être soumis sur tout domaine théorique et expérimental relevant de la programmation logique et/ou par contraintes. Les thèmes possibles sont les suivants (liste non limitative) :

· Programmation logique	· Méthodologie
· Programmation par contraintes	· Problèmes de satisfaction de contraintes
· Résolution de contraintes et optimisation	· Problèmes sur-contraints
· Fondements logiques	· Méthodes de recherche locale
· Théorie et sémantique	· Programmation logique inductive
· Bases de données avec contraintes	· Analyse statique
· Bases de données déductives	· Environnements de programmation
· Parallélisme et Concurrence	· Conception et implantation de langages
· Applications

Soumissions. Les articles ne doivent pas dépasser 15 pages dans le style fourni sur la page web des journées ou sur simple demande aux organisateurs. Les articles soumis ne doivent pas avoir été déjà publiés dans un journal ou une conférence. Les travaux acceptés doivent être présentés à la conférence.

Les soumissions électroniques sont fortement encouragées et doivent être envoyées avant le 8 janvier 2001 sous la forme d'un fichier Postcript standard, télé-déposé à partir de l'URL http://conference.inria.fr/jfplc2001. De plus amples détails sont disponibles sur les pages web de la conférence.

Un résumé est à déposer au même URL (http://conference.inria.fr/jfplc2001) et avant le 8 janvier 2001 avec le titre, les auteurs, les mot-clés ainsi que les adresses postale et électronique, les numéros de téléphone et de fax de l'auteur responsable.

Dans le cas où une soumission électronique est impossible, envoyer dans les mêmes délais six copies de l'article à :

JFPLC'2001
LIP6, case 169
Université de Paris 6
8, rue du Capitaine Scot
75015 Paris - France.

Le premier colloque de l'ASTI (Association Française des Sciences et Technologies de l'Information), ASTI'2001, réunit 15 manifestations en un même lieu organisées par les associations fondatrices, avec une journée commune le 25 avril. Il constituera une occasion unique de rencontres et d'échanges avec des partenaires académiques ou industriels. Pour toute information sur l'ASTI et le colloque : http://asti.asso.fr/asti2001

Toutes informations
http://contraintes.inria.fr/jfplc2001