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 inclut trois conférences invitées, la présentation de quinze papiers sélectionnés par le comité de programme et une session de présentation de posters. Une demi-journée, spécialement concue à l'intention des participants industriels et organisée conjointement avec Orléans-Technopole est consacrée aux produits et aux applications de la programmation par contraintes.

Les langues officielles des journées sont le francais et l'anglais.

L'inscription à la conférence comprend les actes, les trois repas du midi, la réception à l'hôtel Groslot, l'excursion et la visite du château de Blois, le banquet sur les bords de Loire.

Plus de renseignements (programme scientifique, hôtels, accès au site, formulaire d'inscription, etc.) sont disponibles sur les pages WWW de la conférence ou sur simple demande.

(*) Les journées UNIF'97 organisées par S. Anantharaman (Université d'Orléans) se tiendront les 28-30 mai 1997. Pour tout renseignement, contacter: unif97@lifo.univ-orleans.fr

Président des journées:
Gérard Ferrand	(Université d'Orléans, FRANCE)
Président du comit'e de programme:
Frédéric Benhamou	(Université d'Orléans, FRANCE)
Comité de programme:
Slim Abdennadher Alexander Bockmayr Philippe Codognet Jacques Cohen Alain Colmerauer Philippe Devienne Yves Deville François Fages Laurent Fribourg Françoise Gire Jean-Louis Imbert Beaudoin Le Charlier Ken McAloon Jean-François Puget Olivier Ridoux Michael Rusinowitch Pascal Van Hentenryck Marie-Catherine Vilarem	(Munich University, GERMANY) (MPI Saarbruck, GERMANY) (INRIA Rocquencourt, FRANCE) (Brandeis University, USA) (Université de Marseille, FRANCE) (Université de Lille, FRANCE) (Université Catholique de Louvain, BELGIQUE) (CNRS, ENS Paris, FRANCE) (CNRS, ENS Paris, FRANCE) (Université Paris I, FRANCE) (Université d'Auvergne, FRANCE) (Université de Namur, BELGIQUE) (CUNY, NY, USA) (ILOG, FRANCE) (Université de Rennes, FRANCE) (INRIA Nancy, FRANCE) (Brown University, USA) (Université de Montpellier, FRANCE)

Conférenciers invités:

• John Alan Robinson, Professor Emeritus at Syracuse University
         "Unification and resolution in retrospect"
  
  
• Catuscia Palamidessi, Professor at Università di Genova
         "Constraint Programming for Concurrent and Distributed Computing"
  
  
• Jacques Carlier, Professor at U.T.C. Compiegne
         "Bounds and adjustments associated with the m-machine problem"

Responsable Posters: Nirina Andrianarivelo

Comité d'organisation:

Secrétariat: +33 2 38 41 70 11 Fax : +33 2 38 41 71 37

Adresse électronique: jfplc97@lifo.univ-orleans.fr

Sponsors:

Programme

Informations pratiques

Accès
La conférence aura lieu au Museum des Sciences Naturelles d'Orléans - 2 rue Marcel Proust - Orléans

Le Museum se situe en centre ville à proximité de la gare SNCF d'Orléans. En raison des grandes difficultés de parking en centre ville, il est fortement conseillé de laisser sa voiture à l'hôtel quand cela est possible.

Vous trouverez des plans d'accès (à Orléans, aux hôtels, au Museum, etc.) sur les pages web de la conférence et des indications pour l'accès par train et par avion.

Hébergement -- Repas du midi
Un choix d'hôtels en centre ville (à proximité du Museum) est proposé sur le serveur web de la conférence. Les hôtels orléanais sont très chargés et il est conseillé de réserver rapidement.

Repas du midi au restaurant RIE Mairie - 2 rue des Anglaises - 45000 Orléans

Programme social
Une reception sera organisée le 27 mai à l'hôtel Groslot, un bâtiment renaissance du centre ville, à proximité du Museum et de la cathédrale.

Le 28 mai, une visite du Château de Blois suivie d'un banquet sur les bords de Loire, seront organisés pour les participants de JFPLC'97 et d'UNIF'97.

Demi-journée industrielle
L'après-midi du 27, co-organisée avec Orléans-Technopole, sera consacrée à une introduction à la programmation par contraintes et à ses applications industrielles et suivie d'une réception à l'hôtel Groslot. La participation à cette demi-journée est incluse dans l'inscription à la conférence. Il est également possible de s'inscrire à cette seule demi-journée (voir formulaire d'inscription).

Workshop UNIF'97
Le workshop UNIF'97 aura lieu à Orléans du 28 au 30 mai 1997. La journée du 28 sera commune avec JFPLC'97 : conférence invitée commune, sessions parallèles le matin et excursion et banquet commun l'après-midi.

Si vous souhaitez participer au workshop UNIF'97 contactez : unif97@lifo.univ-orleans.fr

Vous trouverez plus de renseignements à l'URL : http://www.univ-orleans.fr/LIFO/UNIF-JFPLC97/

Tarifs
Les règlements se font par chèque bancaire ou postal (émis par une banque francaise) libellé en francs francais à l'ordre de DUNOIS Voyages ou par carte de crédit (Visa, Mastercard, American Express). Le règlement est à renvoyer accompagné du formulaire d'inscription (page suivante) à :