Second Call for Papers JFPLC'97 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), Nimes (93) and Lille (92). * 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 (TEMPORARY) * John Alan Robinson, Professor Emeritus at Syracuse University Unification and resolution in retrospect Catuscia Palamidessi, Professor at Universita` di Genova, title non available * SCOPE * Papers are welcome on all theoretical or experimental aspects of logic programming and/or constraint programming, including, but not limited to: Semantics Higher-order programming Static Analysis Deductive Databases Theorem Proving Constraint Logic Programming Constraint resolution and optimization Constraint Satisfaction Problems Operations Research Concurrency Parallelism Language Design and Implementation Applications Methodology and environments * SUBMISSIONS * Authors are invited to send papers not exceeding 15 pages (2 pages for posters), formatted according to the JFPLC'97 style (available on the WWW conference site). Papers should contain original, previously unpublished results (neither in a conference nor in a journal). Accepted papers should be presented at the conference. Electronic submissions are strongly encouraged and should be made before January 10, 1997. The e-mail should contain an uuencoded gzipped (or compressed) PostScript file. Details are provided on the WWW page. Authors should also send an e-mail, containing the title, authors, abstract, keywords of the paper and the name, addresses (surface and electronic mail), phone and fax numbers of the main author, to mailto:jfplc97@lifo.univ-orleans.fr before January 4, 1997. When electronic submission is not available, authors should send six copies of the paper (or poster presentation) to the program committee chairman at the conference address before the deadline. * ADDITIONAL INFORMATIONS * The technical program of the conference will include invited conferences, presentations of refereed papers and posters. A full session will be devoted to industrial participants. This session will be jointly organized with Orle'ans-Technopole and will focus on products and applications of Constraint Programming. A special award will be given to the best paper presented by one or several young researchers (none of the authors having defended his PhD. thesis before December 31, 1996). Authors meeting this requirement must mention it when submitting. The conference proceedings will be published by Herme`s. Official JFPLC'97 languages are French and English. Abstract ........ Jan. 4, 1997 IMPORTANT DATES Submission ...... Jan. 10, 1997 Acceptance ...... Mar. 8, 1997 Final Version ... Apr. 5, 1997 JFPLC'97 -- LIFO -- Faculte' des Sciences SURFACE MAIL Universite' d'Orle'ans -- 4, Rue Le'onard de Vinci B.P. 6759 -- 45067 ORLE'ANS Cedex 2 -- FRANCE ELECTRONIC MAIL mailto:jfplc97@lifo.univ-orleans.fr POSTERS SESSION CHAIR Nirina Andrianarivelo Michel Berge`re, Wadoud Bousdira, Jacques Chabin, Fre'de'ric Goualard, Laurent Granvilliers, ORGANIZING COMMITTEE Arnaud Lallouet, Franc,ois Le Berre, Se'bastien Limet, Pierre Rety, Gilles Richard, Fre'de'ric Saubion, Agne`s Tellez-Arenas, Alexandre Tessier. Ministe`re de l'E'ducation Nationale de l'Enseignement Supe'rieur et de la Recherche, SUPPORTS Re'gion Centre, De'partement du Loiret, Mairie d'Orle'ans, Universite' d'Orle'ans, CNRS, INRIA, Orle'ans-Technopole, HITACHI (Orle'ans), CNET (Issy les Moulineaux). Reception at the Mayor's house (renaissance building) SOCIAL EVENTS Visit of one of the royal Loire castles Banquet on the Loire river banks The UNIF'97 workshop organized by S. Anantharaman UNIF97 (University of Orle'ans) will be held on May 28-30, 1997 in Orle'ans. For any further information, please contact mailto:unif97@lifo.univ-orleans.fr.