\documentstyle{article}

                %%%%%%%%%%%%%%%%%%%%%%%%%%%%
                % CALL FOR PAPERS JFPLC'97 %
                %%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\head{
{\Large\bf\sf Last Call for Papers {\huge\bf\sf JFPLC'97}}\\[0.4cm]
{\large\bf\sf Sixth French Conference on Logic and Constraint
              Programming\\[0.2cm]
              May 26-28, 1997 -- Orl\'eans -- France}\\[0.8cm]}

\def\body{
\fbox{\begin{minipage}[t]{13.76cm}
~\hfill{\Large\tt http://www.univ-orleans.fr/LIFO/jfplc97}\hfill~
\end{minipage}}

\vspc
The French Conference on Logic and Constraint Programming and UNIF$^{(*)}$, the
International Workshop on Unification, are jointly organized in Orl\'eans 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\^{\i}mes\,(93) and  Lille\,(92).

\vspc
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\'eans-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
{\em December 31, 1996}). Authors meeting this requirement must mention it
when submitting.

\vspc
The conference proceedings will be published by Herm\`es. Official JFPLC'97
languages are French and English.

\vspc
{\bf Scope:}
Papers are welcome on all theoretical or experimental aspects of logic
programming and/or constraint programming, including, but not limited to:

\vspc
\centerline{\begin{tabular}{ll}
$\bullet$ Semantics&
$\bullet$ Higher-order programming\\
$\bullet$ Static Analysis&
$\bullet$ Deductive Databases\\
$\bullet$ Theorem Proving&
$\bullet$ Constraint Logic Programming\\
$\bullet$ Constraint resolution and optimization&
$\bullet$ Constraint Satisfaction Problems\\
$\bullet$ Operations Research&
$\bullet$ Concurrency\\
$\bullet$ Parallelism&
$\bullet$ Language Design and Implementation\\
$\bullet$ Applications&
$\bullet$ Methodology and environments\\
\end{tabular}}

\vspc
{\bf Submissions:}
Authors are invited to send papers not exceeding {\em 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.

\vspc
Electronic submissions are strongly encouraged and should be made before
{\em January 10, 1997}. The e-mail should contain an uuencoded gzipped (or
compressed) PostScript file. Details are provided on the WWW pages.

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
{\tt jfplc97@lifo.univ-orleans.fr} before {\em January 4, 1997}.

\vspc
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.

\vspc
$^{(*)}$ The UNIF'97 workshop organized by S.\,Anantharaman (University of
Orl\'eans) will be held on {\em May 28-30, 1997}. For any further
information, please contact {\tt unif97@lifo.univ-orleans.fr}.

\vspc
\rinf{Invited Lectures (Temporary)}{
John Alan Robinson, Professor Emeritus at Syracuse University,
{\em Unification and resolution in retrospect}\\
Catuscia Palamidessi, Professor at Universit\`a di Genova,
{\em title non available}}

\rinf{Social Events}{
Reception at the Mayor's house (renaissance building)\\
Visit of one of the royal Loire castles\\
Banquet on the Loire river banks}}

\def\pract{
\linf{Conference Chair}{G.\,Ferrand{\dotfill}Orl\'eans\,U.,\,FRA}

\linf{Program Chair}{F.\,Benhamou{\dotfill}Orl\'eans\,U.,\,FRA}

\linf{Program Committee}{
S.\,Abdennadher{\dotfill}Munich\,U.,\,GER\\
A.\,Bockmayr{\dotfill}MPI,\,GER\\
P.\,Codognet{\dotfill}INRIA,\,FRA\\
J.\,Cohen{\dotfill}Brandeis\,U.,\,USA\\
A.\,Colmerauer{\dotfill}Marseille\,U.,\,FRA\\
P.\,Devienne{\dotfill}Lille\,U.,\,FRA\\
Y.\,Deville{\dotfill}Louvain\,U.,\,BEL\\
F.\,Fages{\dotfill}CNRS,\,FRA\\
L.\,Fribourg{\dotfill}CNRS,\,FRA\\
F.\,Gire{\dotfill}Paris\,I\,U.,\,FRA\\
J-L.\,Imbert{\dotfill}Auvergne\,U.,\,FRA\\
B.\,Le Charlier{\dotfill}Namur\,U.,\,BEL\\
K.\,McAloon{\dotfill}CUNY,\,USA\\
J-F.\,Puget{\dotfill}ILOG,\,FRA\\
O.\,Ridoux{\dotfill}Rennes\,U,\,FRA\\
M.\,Rusinowitch{\dotfill}INRIA,\,FRA\\
P.\,Van\,Hentenryck{\dotfill}Brown,\,USA\\
M-C.\,Vilarem{\dotfill}Mtpellier\,U,\,FRA}

\linf{Posters Session Chair}{N.\,Andrianarivelo}

\linf{Organizing Committee}{M. Berg\`ere, W. Bousdira, J. Cha\-bin,
F. Goualard, L. Granvilliers, A. Lallouet, F. Le Berre, S. Limet, P. Rety,
G. Richard, F. Saubion, A.~Tellez-Arenas, A. Tessier.}

\linf{Surface Mail}{JFPLC'97 -- LIFO\\Facult\'e des Sciences\\Universit\'e
d'Orl\'eans\\4, Rue L\'eonard de Vinci\\B.P. 6759\\
45067 ORL\'EANS Cedex 2\\FRANCE}

\linf{Electronic Mail}{{\tt jfplc97@lifo.univ-orleans.fr}}

\linf{Sponsors}{Minist\`ere de l'\'Education Nationale de l'Enseignement
Sup\'erieur et de la Recherche, R\'egion Centre, D\'epartement du Loiret,
Mairie d'Orl\'eans, Universit\'e d'Orl\'eans, CNRS, INRIA,
Orl\'eans-Technopo\-le, HITACHI (Orl\'eans), CNET}

\linf{Important Dates}{
{\em Abstract}\dotfill{\bf Jan. 4, 1997}\\
{\em Submission}\dotfill{\bf Jan. 10, 1997}\\
{\em Acceptance}\dotfill{\bf Mar. 8, 1997}\\
{\em Final Version}\dotfill{\bf Apr. 5, 1997}}}

\pagestyle{empty} \textwidth20cm \textheight29cm
\topmargin-2cm \oddsidemargin-2cm \evensidemargin\oddsidemargin
\nopagebreak \fboxsep0.1cm \fboxrule0.02cm
\newcommand{\vspc}{\vspace*{0.308cm}}
\newcommand{\linf}[2]{\fbox{\begin{minipage}[t]{4.5cm}\footnotesize
\vspace*{0.1cm}\par{\bf #1}\\[0.05cm]{#2}\end{minipage}}\vspace*{0.1cm}}
\newcommand{\rinf}[2]{\fbox{\begin{minipage}[t]{13.76cm}\footnotesize
\vspace*{0.1cm}\par{\bf #1}\\[0.05cm]{#2}\end{minipage}}\vspace*{0.1cm}}

\begin{document}
\begin{center}\begin{small}
\head

\begin{minipage}[t]{5cm}\pract\end{minipage}
\begin{minipage}[t]{14cm}\body\end{minipage}
\end{small}\end{center}
\end{document}
