Les journées francophones de programmation logique et programmation par contraintes, organisées cette année conjointement avec les rencontres internationales UNIF sur la démonstration automatique, 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 démonstration automatique, la résolution de contraintes et les domaines d'application. JFPLC'97 fait suite aux précédentes rencontres qui se sont tenues à 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 et une session de présentation de posters. Une demi-journée, spécialement conçue à l'intention des participants industriels et organisée conjointement avec Orléans-Technopole sera consacrée aux produits et aux applications de la programmation par contraintes.

Un prix sera décerné au meilleur article présenté par un ou plusieurs jeune(s) chercheur(s) (aucun auteur n'ayant soutenu sa thèse avant le 31/12/96). Si ces conditions sont remplies, le spécifier impérativement lors de la soumission.

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.

Conférenciers invités :

• John Alan Robinson, Professeur Emérite à l'Université de Syracuse
         "Unification and resolution in retrospect"
  
  
• Catuscia Palamidessi, Professeur à l'Université de Gênes
         "Constraint Programming for Concurrent and Distributed Computing"
  
  
• Jacques Carlier, Professeur à l'U.T.C. Compiegne
         "Bounds and adjustments associated with the m-machine problem"

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) :

Soumissions :

Les articles ne doivent pas dépasser 15 pages (2 pages pour les posters) dans le style fourni sur la page WWW 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 10 janvier 1997 à jfplc97@lifo.univ-orleans.fr sous la forme d'un fichier postcript compressé (gzip ou compress) et encodé (uuencode).

De plus amples détails sont disponibles sur les pages WWW de la conférence.

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.

Un courrier électronique, contenant le titre, les auteurs, le résumé et les mots-clés de l'article, ainsi que les adresses postale et électronique, les numéros de téléphone et de fax de l'auteur responsable, doit être envoyé à jfplc97@lifo.univ-orleans.fr avant le 4 janvier 1997.

Dans le cas où une soumission électronique est impossible, envoyer six copies de l'article ou de la présentation du poster à l'attention du président du comité de programme à l'adresse postale de la conférence dans les mêmes délais.

Dates importantes :

Adresse postale :

JFPLC'97 -- LIFO
Faculté des Sciences -- Université d'Orléans
4, Rue Léonard de Vinci -- B.P. 6759
45067 ORLÉANS Cedex 2
FRANCE

Adresse électronique :

jfplc97@lifo.univ-orleans.fr

Responsable posters :

Comité d'organisation:

Sponsors:

Journées UNIF'97