APPEL A` PARTICIPATION Sixie`mes Journe'es Francophones de Programmation Logique et Programmation par Contraintes 26-28 Mai 1997 -- Orle'ans, France http://www.univ-orleans.fr/LIFO/jfplc97 --------------------------------------- Les journe'es francophones de programmation logique et programmation par contraintes, organise'es cette anne'e conjointement avec les rencontres internationales UNIF sur la de'monstration automatique, ont pour but de faire le point sur les recherches re'centes dans ces diffe'rents domaines avec une attention particulie`re sur les inter-relations entre les multiples aspects qui composent la programmation logique, la de'monstration automatique, la re'solution de contraintes et les domaines d'application. JFPLC'97 fait suite aux pre'ce'dentes rencontres qui se sont tenues a` Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Ni^mes (93) et Lille (92). Le programme de la confe'rence inclut trois confe'rences invite'es, la pre'sentation de quinze papiers se'lectionne's par le comite' de programme et une session de pre'sentation de posters. Une demi-journe'e, spe'cialement concue a` l'intention des participants industriels et organise'e conjointement avec Orle'ans-Technopole est consacre'e aux produits et aux applications de la programmation par contraintes. Les langues officielles des journe'es sont le francais et l'anglais. L'inscription a` la confe'rence comprend les actes, les trois repas du midi, la re'ception a` l'ho^tel Groslot, l'excursion et la visite du cha^teau de Blois, le banquet sur les bords de Loire. Plus de renseignements (programme scientifique, ho^tels, acce`s au site, formulaire d'inscription, etc.) sont disponibles sur les pages WWW de la confe'rence ou sur simple demande. PRE'SIDENT DES JOURNE'ES Ge'rard Ferrand (LIFO, Universite' d'Orle'ans, FRANCE) PRE'SIDENT DU COMITE' DE PROGRAMME Fre'de'ric Benhamou (LIFO, Universite' d'Orle'ans, FRANCE) COMITE' DE PROGRAMME Slim Abdennadher .......... (Universite' de Munich, ALLEMAGNE) Alexander Bockmayr ........ (MPI, Saarbru"cken, ALLEMAGNE) Philippe Codognet ......... (INRIA Rocquencourt, FRANCE) Jacques Cohen ............. (Brandeis University, USA) Alain Colmerauer .......... (Universite' de Marseille, FRANCE) Philippe Devienne ......... (Universite' de Lille, FRANCE) Yves Deville .............. (Universite' Catholique de Louvain, BELGIQUE) Franc,ois Fages ........... (CNRS, LIENS, ENS Paris, FRANCE) Laurent Fribourg .......... (CNRS, LIENS, ENS Paris, FRANCE) Franc,oise Gire ........... (Universite' Paris I, FRANCE) Jean-Louis Imbert ......... (Universite' d'Auvergne, FRANCE) Beaudoin Le Charlier ...... (Universite' de Namur, BELGIQUE) Ken McAloon ............... (Brooklyn College CUNY, NY, USA) Jean-Franc,ois Puget ...... (ILOG, FRANCE) Olivier Ridoux ............ (Universite' de Rennes, FRANCE) Michael Rusinowitch ....... (CRIN, INRIA Lorraine, FRANCE) Pascal Van Hentenryck ..... (Brown University, USA) Marie-Catherine Vilarem ... (LIRMM, Universite' Montpellier II, FRANCE) CONFE'RENCIERS INVITE'S Catuscia Palamidessi ...... Professor at Universita` di Genova Jacques Carlier ........... Professeur at Universite' de Compie`gne John Alan Robinson ........ Professor Emeritus at Syracuse University RESPONSABLE POSTERS N. Andrianarivelo COMITE' D'ORGANISATION M. Berge`re, W. Bousdira, J. Chabin, F. Goualard, L. Granvilliers, A. Lallouet, F. Le Berre, S. Limet, P. Re'ty, G. Richard, F. Saubion, A. Tellez-Arenas, A. Tessier. SECRE'TARIAT Te'l : +33 (0)2 38 41 70 11 Fax : +33 (0)2 38 41 71 37 ADRESSE E'LECTRONIQUE jfplc97@lifo.univ-orleans.fr SPONSORS Ministe`re de l'E'ducation Nationale de l'Enseignement Supe'rieur et de la Recherche, Re'gion Centre, De'partement du Loiret, Mairie d'Orle'ans, Universite' d'Orle'ans, CNRS, INRIA, CNET, European Network in Computational Logic, Orle'ans-Technopole, Ilog, Hitachi, PrologIA, Cosytec PROGRAMME *Lundi 26 mai 08:30 -- 09:15 Accueil des participants 09:15 -- 09:30 Discours de bienvenue 09:30 -- 10:30 Confe'rence invite'e 1 Catuscia Palamidessi, Professeur a` l'Universite' de Ge^nes, Constraint programming for concurrent and distributed computing 10:30 -- 11:00 Pause 11:00 -- 12:30 Session 1 : Langages et extensions Donald A. Smith, MixLog: a generalized rule-based language Jean-Hugues Re'ty, Un langage distribue' concurrent avec contraintes Arnaud Lallouet, DP-LOG : un langage logique data-paralle`le 13:00 -- 14:00 De'jeuner 14:30 -- 16:00 Session 2 : Se'mantique Maarten H. van Emden, Canonical extensions as common basis for interval constraints and interval arithmetic Karine Liogier, Ne'gation constructive et mode`les bivalue's Viet Phan Luong, Computing stable models of datalog programs with negation 16:00 -- 16:30 Pause 16:30 -- 18:00 Session 3 : Proble`mes de satisfaction de contraintes Nicolas Barnier et Pascal Brisset, Optimisation par hybridation d'un CSP avec un algorithme ge'ne'tique Pierre Dago, Backtrack dynamique value' Narendra Jussien et Patrice Boizumault, Strate'gies en meilleur d'abord pour la relaxation de contraintes 18:00 Session posters 19:00 Assemble'e ge'ne'rale de l'AFPL *Mardi 27 mai 09:30 -- 10:30 Confe'rence invite'e 2 Jacques Carlier, Professeur a` l'Universite' de Technologie de Compie`gne en collaboration avec Eric Pinson, Universite' Catholique de l'Ouest Bounds and adjustments associated with the Pm/ri,qi,Cmax scheduling problem 10:30 -- 11:00 Pause 11:00 -- 12:30 Session 4 : Contraintes Eric Boucher et Bruno Legeard, Outil exact d'optimisation dans le paradigme de la Programmation Logique avec Contraintes ensemblistes Laurent Granvilliers, Transformations symboliques et consistance de bloc de CSP continus Christine Solnon, Coope'ration de solveurs line'aires sur les re'els pour la re'solution de proble`mes line'aires sur les entiers 13:00 -- 14:00 De'jeuner 14:00 -- 19:00 Demi-journe'e industrielle 14:00 -- 15:45 Accueil, par Olivier Jouin, d'Orle'ans Technopole Fre'de'ric Benhamou, Les atouts du Laboratoire d'Informatique de l'Universite' d'Orle'ans Philippe Codognet, Programmation par contraintes: une introduction Abderrabmane Aggoun, Mode'lisation, re'solution de proble`mes industriels Kamel Heus, L'informatisation des plannings des personnels, exemple dans une unite' de soins 15:45 -- 16:30 Pause et de'monstrations 16:30 -- 18:00 Ste'phane N'Dong, Syste`mes de simulation d'attribution de cre'dits immobiliers Ste'phane N'Dong, Planification de tourne'es de maintenance Ste'phane N'Dong, Optimisation de processus industriels Jean-Francois Puget, Ordonnancement de production, emploi du temps d'e'quipes, allocation de ressources, organisation de parcours, logistique... 18:00 Cocktail et de'monstrations 19:00 Re'ception du Maire a` l'ho^tel Groslot *Mercredi 28 mai - Journe'e commune JFPLC'97-UNIF'97, (sessions paralle`les) 08:30 -- 09:15 Accueil des participants UNIF'97 09:15 -- 09:30 Discours d'ouverture UNIF'97 09:30 -- 10:30 Confe'rence invite'e 3 John Alan Robinson, Professeur Eme'rite a` l'Universite' de Syracuse, Unification and resolution in retrospect 10:30 -- 11:00 Pause 11:00 -- 12:30 Session 5 : Re'solution et optimisation Jean-Michel Richer et Jean-Jacques Chabrier, Une approche de re'solution de proble`mes en logique base'e sur des techniques de satisfaction de contraintes Olivier Roussel et Philippe Mathieu, Une compilation logique exacte en calcul des pre'dicats : le cas de l'ache`vement partiel Mathieu Jaume, Formalisation de la SLD-re'solution dans le calcul des constructions inductives 13:00 -- 14:00 De'jeuner 14:30 De'part de l'excursion avec visite du Cha^teau de Blois 19:30 Banquet *Jeudi 29 mai - Deuxie`me journe'e UNIF'97 *Vendredi 30 mai- Dernie`re journe'e UNIF'97 INFORMATIONS PRATIQUES *Acce`s La confe'rence aura lieu au Museum des Sciences Naturelles d'Orle'ans -- 2 rue Marcel Proust -- Orle'ans Le Museum se situe en centre ville a` proximite' de la gare SNCF d'Orle'ans. En raison des grandes difficulte's de parking en centre ville, il est fortement conseille' de laisser sa voiture a` l'ho^tel quand cela est possible. Vous trouverez des plans d'acce`s (a` Orle'ans, aux ho^tels, au Museum, etc.) sur les pages web de la confe'rence et des indications pour l'acce`s par train et par avion. *He'bergement -- Repas du midi Un choix d'ho^tels en centre ville (a` proximite' du Museum) est propose' sur le serveur web de la confe'rence. Les ho^tels orle'anais sont tre`s charge's et il est conseille' de re'server rapidement. Repas du midi au restaurant RIE Mairie -- 2 rue des Anglaises -- 45000 Orle'ans. *Programme social Une re'ception sera organise'e le 27 mai a` l'ho^tel Groslot, un ba^timent renaissance du centre ville, a` proximite' du Museum et de la cathe'drale. Le 28 mai, une visite du Cha^teau de Blois suivie d'un banquet, sera organise'e pour les participants de JFPLC'97 et ceux d'UNIF'97. *Demi-journe'e industrielle L'apre`s-midi du 27, co-orgranise'e avec Orle'ans-Technopole, sera consacre'e a` une introduction a` la programmation par contraintes et a` ses applications industrielles. La participation a` cette demi-journe'e est incluse dans l'inscription a` la confe'rence. Il est e'galement possible de s'inscrire a` cette seule demi-journe'e (voir formulaire d'inscription). *Workshop UNIF'97 Le workshop UNIF'97 aura lieu a` Orle'ans du 28 au 30 mai 1997. La journe'e du 28 sera commune avec JFPLC'97 : confe'rence invite'e commune, sessions paralle`les le matin et excursion et banquet commun l'apre`s-midi. Si vous souhaitez participer au workshop UNIF'97 contactez : unif97@lifo.univ-orleans.fr Vous trouverez plus de renseignements a` l'URL : http://www.univ-orleans.fr/LIFO/UNIF-JFPLC97/ *Tarifs Les re`glements se font par che`que bancaire ou postal (e'mis par une banque francaise) libelle' en francs francais a` l'ordre de DUNOIS Voyages ou par carte de cre'dit (Visa, Mastercard, American Express). Le re`glement est a` renvoyer accompagne' du formulaire d'inscription (page suivante) a` : JFPLC'97 -- LIFO -- Faculte' des Sciences -- Universite' d'Orle'ans 4, Rue Le'onard de Vinci -- B.P. 6759 -- 45067 ORLE'ANS Cedex 2 -- FRANCE Le formulaire peut e^tre faxe' au +33 (0)2 38 41 71 37 en cas de paiement par carte. Pour tout renseignement comple'mentaire concernant les JFPLC'97, contacter le secre'tariat des journe'es (voir premie`re page) apre`s avoir consulte' les pages web de la confe'rence a` l'URL : http://www.univ-orleans.fr/LIFO/jfplc97 -- couper ici ---------------------------------------------------------------- Formulaire d'inscription aux JFPLC'97 A retourner accompagne' du re`glement a` : JFPLC'97 -- LIFO Faculte' des Sciences Universite' d'Orle'ans 4, Rue Le'onard de Vinci B.P. 6759 45067 ORLE'ANS Cedex 2 FRANCE ou a` faxer au : +33 (0)2 38 41 71 37 (paiement par carte uniquement) Melle O Mme O M O Nom : ___________________________ Pre'nom : ___________________________ Organisme : _________________________________________________________________ Adresse : ___________________________________________________________________ ___________________________________________________________________ Te'l : __________________________ Fax : ___________________________ E-mail : ____________________________________________________________________ Participera a` l'excursion et au banquet : oui O non O E'tudiant moins de 26 ans : oui O non O Joindre une copie de la carte d'e'tudiant de l'anne'e en cours. Tarif re'duit avant le 25 avril 1997 ALP/AFPL Etudiant moins de 26 ans 800 FF O 700 FF O Universitaire et EPST 1400 FF O 1200 FF O Autre 1700 FF O 1500 FF O Tarif Normal apre`s le 25 Avril 1997 ALP/AFPL Etudiant moins de 26 ans 1000 FF O 900 FF O Universitaire et EPST 1600 FF O 1400 FF O Autre 1900 FF O 1700 FF O Le tarif ALP/AFPL est re'serve' aux membres de l'une de ces associations a` jour de leur cotisation a` la date de la confe'rence. La seule participation aux JFPLC'96 n'ouvre pas le droit au tarif ALP/AFPL (cotisation a` renouveller). Nombre de personnes accompagnantes : ______ x 300 FF (inscription excursion et banquet) Participation a` la demi-journe'e industrielle uniquement : 150 FF O O Paiement par che`que bancaire ou postal a` l'ordre de : DUNOIS Voyages, Orle'ans O Paiement par carte de cre'dit a` DUNOIS Voyages (licence No 128003) Visa O Mastercard O American Express O Montant : ____________ FF Nume'ro de carte : __________________________ Date d'expiration : ___ / ___ Je soussigne', (nom pre'nom en majuscules) _______________________________ , de'clare me conformer aux clauses de vente de'finies par la loi No 92.645 du 13 juillet 1992 et du de'cret No 94.490 du 15 juin 1994. Date : ___________________________ Signature :