Call for Papers -  JFPLC'96


            Fifth French Conference on Logic Programming
                    and Constraint Programming

                 Clermont-Ferrand, June 5 - 7, 1996

                             JFPLC'96



Program Committee 

H. Ait-Kaci (Canada)
M. Baudinet (Bruxelle, Belgiium)
F. Benhamou (Orl\'eans, France)
Y. Bekkers (Rennes, France)
P. Boizumault (Nantes, France)
JF. Boulicaut (Lyon, France)
F. Bry (Munich, Germany)
JJ Chabrier (Dijon, France)
P. Codognet (Inria, France)
J. Cohen (Brandeis, USA)
A. Colmerauer (Marseille, France)
M. Corsini (Bordeaux, France)
P. Cousot (ENS Paris, France)
P. Deransart (Inria, France)
Ph Devienne (Lille, France)
Y. Deville (Louvain, Belgium)
M. Dincbas (Cosytec, France)
F. Fages (CNRS Paris, France)
G. Ferrand (Orl\'eans, France )
L. Fribourg (ENS Paris, France)
JL Imbert (Clermont-Ferrand, France)
J. Jourdan (Thomson, France)
B. Le Charlier (Belgium)
B. Legeard (Besan\c{c}on, France)
JP Lepape (CNET Lannion, France)
JF Pique (Marseille, France)
JF Puget (ILOG, France)
A. Podelski (MPI, Germany)
A. Rauzy (Bordeaux, France)
O. Ridoux (Rennes, France)
M. Rueher (Nice, France)
P. Saint-Dizier (Toulouse, France)
P. Taillibert (Dassault, France)
P. Tarau (Moncton, Canada)

Program Chair
Jean-Louis Imbert

Prototype Chair
Ammar Attoui

Poster Chair
Nicolas Singer


Organizing Committee
Ammar Attoui
Jean-Louis Imbert
Michel Misson 
Alain Quillot 
Marie-Francoise Servajean
Nicolas Singer
Marie-Claude Vialatte 

Important Dates
Submission    : January 10, 1996
Acceptance    : March 8, 1996
Final version : April 8, 1996


Logic Programming is now more than 20 years old and is recognized 
as a simple and declarative programming paradigm.
Constraint Programming has grown significantly in the past few years 
and in conjunction with Logic Programming makes it possible to efficiently
solve practical problems in domains such as:
scheduling, optimization, combinatorics, circuit simulation, 
fault diagnosis, financial analysis, decision

JFPLC'96 follows a series of JFLP conferences which took place in Lille (92), 
Nimes (93) Bordeaux (94) and Dijon (95). 
The technical programme for the conference will include tutorials, 
presentations of refereed papers, posters and   prototypes.
A full day will be devoted to industrial applications of 
Constraint Logic Programming.

Papers are welcome on all theoretical or experimental aspects 
of logic programming and/or constraint programming, 
including, but not limited to:

Applications                Natural Language     
Architecture                Theorem Proving 
Constraints                 Design, Implementation and 
Artificial Intelligence     Compilation  
Concurrency                 Programming Methodology    
Parallelism                 Environments   
Semantics                   Databases 
Static Analysis             Higher-order Programming 
Types                       Knowledge Representation 


Papers must be written in French or in English, 
(in French when at least one of the authors is French speaking) 
must not exceed 15 pages (about 5000 words, including
references and figures), and must contain a cover page including the
following: a 200 word abstract, keywords, and postal and electronic
mailing addresses as well as phone numbers and fax numbers of the
responsible author.
Submitted papers should not have been previously
published or submitted to any journals or refereed conferences or
workshops. Accepted papers must be presented at the conference. 
Send six (6) copies of your submission by  January 10, 1996 to

Jean-Louis Imbert, JFPLC'96                
IUT, Dept. Informatique
Universite d'Auvergne,
Les Cezeaux, BP 86    
63172 AUBIERE cedex  (FRANCE)

email : imbert@gia.univ-mrs.fr

phone : (33) 73 40 50 18
email : jfplc96@jfplc96.univ-bpclermont.fr
http://jfplc96.univ-bpclermont.fr 


An award will be given to the best paper of young researcher
(PhD theses not defended before January 1, 1996;
in case of multiple authors, all of them must be young researchers).


In order to disseminate 
experimental works in Logic Programming, Constraint Programming
and their extensions, 
JFPLC'96 will organize, in parallel to the scientific program,
a contest to select 
the Best Research Prototype developed in university laboratories.
The authors of prototype must send a 2 or 3 page presentation 
to the conference secretary before January 5, 1996.
The selected prototypes will be demonstrated during the conference,
and will be allowed to participate in the best prototype contest.
Awards will also be given to the three best presentations.