CALL FOR PARTICIPATION Sixth French Conference on Logic and Constraint Programming May 26-28 1997 -- Orle'ans, France http://www.univ-orleans.fr/LIFO/jfplc97 --------------------------------------- The French Conference on Logic and Constraint Programming and UNIF, the International Workshop on Unification, are jointly organized in Orle'ans this year. The aim of the meeting is to review recent research work on the conference topics with a particular focus on the interactions between the different aspects of logic programming, automated deduction, constraint resolution and their application domains. JFPLC'97 follows the series of previous meetings which took place in Clermont-Ferrand (96), Dijon (95), Bordeaux (94), Ni^mes (93) and Lille (92). The technical program of the conference includes three invited conferences, the presentations of fifteen refereed papers and a poster session. A full session is devoted to industrial participants. This session is jointly organized with Orle'ans-Technopole and focuses on products and applications of Constraint Programming. The official JFPLC'97 languages are French and English. The conference registration includes the proceedings, the three lunches, the hotel Groslot reception, the visit of the castle of Blois (one of the royal Loire castles), the conference banquet on the Loire river banks. For any further details (scientific program, hotels, access to the site, registration form, etc.) see the web pages or contact the organizing committee. CONFERENCE CHAIR Ge'rard Ferrand (LIFO, University of Orle'ans, FRANCE) PROGRAM CHAIR Fre'de'ric Benhamou (LIFO, University of Orle'ans, FRANCE) PROGRAM COMMITTEE Slim Abdennadher .......... (Munich University, GERMANY) Alexander Bockmayr ........ (MPI, Saarbru"cken, GERMANY) Philippe Codognet ......... (INRIA Rocquencourt, FRANCE) Jacques Cohen ............. (Brandeis University, USA) Alain Colmerauer .......... (University of Marseilles, FRANCE) Philippe Devienne ......... (University of Lille, FRANCE) Yves Deville .............. (Catholic University of Louvain, BELGIUM) Franc,ois Fages ........... (CNRS, LIENS, ENS Paris, FRANCE) Laurent Fribourg .......... (CNRS, LIENS, ENS Paris, FRANCE) Franc,oise Gire ........... (University of Paris I, FRANCE) Jean-Louis Imbert ......... (University of Auvergne, FRANCE) Beaudoin Le Charlier ...... (University of Namur, BELGIUM) Ken McAloon ............... (Brooklyn College CUNY, NY, USA) Jean-Franc,ois Puget ...... (ILOG, FRANCE) Olivier Ridoux ............ (University of Rennes, FRANCE) Michael Rusinowitch ....... (CRIN, INRIA Lorraine, FRANCE) Pascal Van Hentenryck ..... (Brown University, USA) Marie-Catherine Vilarem ... (LIRMM, University of Montpellier II, FRANCE) INVITED LECTURES Catuscia Palamidessi ...... Professor at Universita` di Genova Jacques Carlier ........... Professor at Universite' de Compie`gne John Alan Robinson ........ Professor Emeritus at Syracuse University POSTER SESSION CHAIR N. Andrianarivelo ORGANIZING COMMITTEE 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. SECRETARY Telephone : +33 2 38 41 70 11 Fax : +33 2 38 41 71 37 ELECTRONIC MAIL 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. PROGRAM *May 26, 1997 08:30 -- 09:15 Registration 09:15 -- 09:30 Welcome speech 09:30 -- 10:30 Invited lecture 1 Catuscia Palamidessi, Professor at Universita` di Genova Constraint programming for concurrent and distributed computing 10:30 -- 11:00 Coffee break 11:00 -- 12:30 Session 1: Languages and extensions Donald A. Smith, MixLog: a generalized rule-based language Jean-Hugues Re'ty, A distributed concurrent constraint language Arnaud Lallouet, DP-LOG: a data-parallel logic language 13:00 -- 14:00 Lunch 14:30 -- 16:00 Session 2: Semantics Maarten H. van Emden, Canonical extensions as common basis for interval constraints and interval arithmetic Karine Liogier, Constructive negation and two-valued models Viet Phan Luong, Computing stable models of datalog programs with negation 16:00 -- 16:30 Coffee break 16:30 -- 18:00 Session 3: Constraint satisfaction problems Nicolas Barnier and Pascal Brisset, Optimisation by hybridization of a CSP and a genetic algorithm Pierre Dago, Valued dynamic backtracking Narendra Jussien and Patrice Boizumault, Best first strategies for constraint relaxation 18:00 Poster session 19:00 AFPL meeting *May 27, 1997 09:30 -- 10:30 Invited lecture 2 Jacques Carlier, Professor at Universite' de Technologie de Compie`gne in collaboration with Eric Pinson, Universite' Catholique de l'Ouest Bounds and adjustments associated with the Pm/ri,qi/Cmax scheduling problem 10:30 -- 11:00 Coffee break 11:00 -- 12:30 Session 4: Constraints Eric Boucher and Bruno Legeard, Exact optimisation tool in logic programming with set constraints Laurent Granvilliers, Symbolic transformations and box consistency for continuous CSPs Christine Solnon, Cooperation of linear solvers over the reals to solve linear integer problems 13:00 -- 14:00 Lunch 14:00 -- 19:00 Industrial session 14:00 -- 15:45 Welcome speech, Olivier Jouin, Orle'ans Technopole Fre'de'ric Benhamou, Research topics in computing at University of Orle'ans Philippe Codognet, Constraint programming: an introduction Abderrabmane Aggoun, Modelling and solving industrial problems Kamel Heus, The automatisation of staff scheduling, an example in a care units 15:45 -- 16:30 Coffee break and system demonstrations 16:30 -- 18:00 Industrial session 2 Ste'phane N'Dong, Simulation systems for banking Ste'phane N'Dong, Maintenance planing Ste'phane N'Dong, Industrial process optimization Jean-Francois Puget, Production scheduling, team planing, resource allocation, logistics... 18:00 Cocktail and system demonstrations 19:00 Reception at hotel Groslot *May 28, 1997 - JFPLC'97-UNIF'97 joint sessions 08:30 -- 09:15 UNIF'97 registration 09:15 -- 09:30 UNIF'97 welcome speech 09:30 -- 10:30 Invited lecture 3 John Alan Robinson, Professor Emeritus at Syracuse University Unification and resolution in retrospect 10:30 -- 11:00 Coffee break 11:00 -- 12:30 Session 5: Resolution and optimisation Jean-Michel Richer and Jean-Jacques Chabrier, A problem resolution approach in logic based on constraint satisfaction techniques Olivier Roussel and Philippe Mathieu, Exact logic compilation in predicate calculus: the partial achievement case Mathieu Jaume, Formalization of SLD-resolution in the inductive construction calculus 13:00 -- 14:00 Lunch 14:30 Excursion (Cha^teau de Blois) 19:30 Banquet *May 29, 1997 - UNIF'97 *May 30, 1997 - UNIF'97 PRACTICAL INFORMATIONS *Conference venue The conference is located at Museum des Sciences Naturelles d'Orle'ans -- 2 rue Marcel Proust -- Orle'ans The museum is located downtown, close to the railway station. Access maps are available on the conference web pages where you will find indications for train and plane access. *Accomodation and lunch A selection of convenient hotels situated downtown at walking distance of the Museum is available on the conference web server. Please note that the hotels in Orle'ans are often very busy and that early booking is strongly advised. Lunch will be served at restaurant RIE Mairie -- 2 rue des Anglaises -- 45000 Orle'ans. *Social events A reception will be organised on May 27 at ho^tel Groslot, a renaissance building situated downtown at walking distance from the Museum and the Cathedral. On May 28, a visit to the Cha^teau de Blois, one of the most spectacular royal castle of the Loire valley, followed by a banquet, will be organised for JFPLC'97 and UNIF'97 participants. *Industrial sessions On May 27, the industrial sessions, co-organized with Orle'ans-Technopole, will be devoted to an introduction to constraint programming and its industrial applications. These sessions will be followed by a reception at ho^tel Groslot. Participation to these sessions is included for the conference attendants. Registration to the industrial sessions alone is also possible (see registration form below). *UNIF'97 Workshop The UNIF'97 workshop will take place in Orle'ans from May 28 to May 30, 1997. May 28 will include joint JFPLC'97-UNIF'97 events: invited lecture, parallel sessions, excursion and banquet. If you wish to attend UNIF'97, please contact: unif97@lifo.univ-orleans.fr Further details are available at URL: http://www.univ-orleans.fr/LIFO/UNIF-JFPLC97/ *Conference fees Registration should be paid by credit card (Visa, Mastercard, American Express). The registration form (see below) is to be sent to: 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 or alternatively faxed to +33 2 38 41 71 37. Any further information regarding the conference can be obtained by contacting the organizing committee or at the conference web page at URL: http://www.univ-orleans.fr/LIFO/jfplc97 ---- cut here --------------------------------------------------------------- JFPLC'97 - Registration Form To be sent or faxed to JFPLC'97 -- LIFO Faculte des Sciences Universite d'Orleans 4, Rue Leonard de Vinci B.P. 6759 45067 ORLEANS Cedex 2 FRANCE Fax: +33 2 38 41 71 37 Mrs O Mr O Name: _____________________________ First name: _____________________________ Affiliation: ________________________________________________________________ Address: ____________________________________________________________________ ____________________________________________________________________ Telephone: ________________________ Fax: _____________________________ E-mail: _____________________________________________________________________ I will participate in the excursion and banquet: yes O no O Student (less than 26 years old): yes O no O Join a student card or a certificate signed by the thesis advisor or department head. Conference fees before April 25, 1997 ALP/AFPL Student (less than 26 years old) 800 FF O 700 FF O Universities 1400 FF O 1200 FF O Other 1700 FF O 1500 FF O Conference fees after April 25, 1997 ALP/AFPL Student (less than 26 years old) 1000 FF O 900 FF O Universities 1600 FF O 1400 FF O Other 1900 FF O 1700 FF O The ALP/AFPL fee is reserved to members of one of these associations. Participants to JFPLC'96 must renew there subscription to ALP/AFPL. Number of accompanying persons: ____ x 300 FF (excursion and banquet registration) Registration to the industrial sessions only: 150 FF O O Payement by credit card to DUNOIS Voyages (licence No 128003) Visa O Mastercard O American Express O Amount: ________________________ FF Card number: _____________________________________ Expiry date: ___ / ___ I the undersigned, (name first name, please use capital letters) ___________________________________________________________________________ , abide by the clauses of sale as defined by the Law No 92.645 of the 13th of July 1992 and Decree No 94.490 of the 15th of June 1994. Date: __________________________ Signature: