The French Conference on Logic and Constraint Programming and UNIF, the International Workshop on Unification, are jointly organized in Orlé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), Nîmes (93) and Lille (92).
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 Orlé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 Hermès. Official JFPLC'97 languages are French and English.
| Conference Chair: | |
|
Gérard Ferrand |
(Université d'Orléans, FRANCE) |
| Program Chair: | |
| (Université d'Orléans, FRANCE) | |
| Program Committee: | |
|
Slim
Abdennadher |
(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) |
Invited Speakers:
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 |
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 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.
Important Dates:
|
Abstract submission |
Jan. 4, 1997 |