\documentstyle{article}

                %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                % APPEL A COMMUNICATIONS JFPLC'97 %
                %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\head{
{\Large\bf\sf Dernier Appel \`a Communications {\huge\bf\sf JFPLC'97}}\\[0.4cm]
{\large\bf\sf Sixi\`emes Journ\'ees Francophones de Programmation Logique et
              Programmation par Contraintes\\[0.2cm]
              26-28 Mai 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
Les journ\'ees francophones de programmation logique et programmation par
contraintes, organis\'ees cette ann\'ee conjointement avec les rencontres
internationales UNIF$^{(*)}$ sur la d\'emonstration automatique, ont pour but
de faire le point sur les recherches r\'ecentes dans ces diff\'erents domaines
avec une attention particuli\`ere sur les inter-relations entre les multiples
aspects qui composent la programmation logique, la d\'emonstration automatique,
la r\'esolution de contraintes et les domaines d'application. JFPLC'97 fait
suite aux pr\'ec\'edentes rencontres qui se sont tenues \`a
Clermont-Ferrand\,(96), Dijon\,(95), Bordeaux\,(94), N\^{\i}mes\,(93) et
Lille\,(92).

\vspc
Le programme de la conf\'erence inclura des conf\'erences invit\'ees, la
pr\'esentation de papiers r\'ef\'er\'es et une session de pr\'esentation de
posters.
Une demi-journ\'ee, sp\'ecialement con\c{c}ue \`a l'intention des participants
industriels et organis\'ee conjointement avec Orl\'eans-Technopole sera
consacr\'ee aux produits et aux applications de la programmation par
contraintes.

Un prix sera d\'ecern\'e au meilleur article pr\'esent\'e par un ou plusieurs
jeunes chercheurs (aucun auteur n'ayant soutenu sa th\`ese avant le
{\em 31 d\'ecembre 1996}). Si ces conditions sont remplies, le sp\'ecifier
imp\'erativement lors de la soumission.

\vspc
Les actes de la conf\'erence seront publi\'es par Herm\`es.
Les langues officielles des journ\'ees sont le fran\c{c}ais et l'anglais.

\vspc
{\bf Th\`emes.}
Les articles pourront \^etre soumis sur tout domaine th\'eorique et
exp\'erimental relevant de la programmation logique et/ou par contraintes. Les
th\`emes possibles sont les suivants (liste non limitative)\,:

\vspc
\centerline{\begin{tabular}{ll}
$\bullet$ S\'emantique&
$\bullet$ Programmation d'ordre sup\'erieur\\
$\bullet$ Analyse statique&
$\bullet$ Bases de Donn\'ees d\'eductives\\
$\bullet$ D\'emonstration automatique&
$\bullet$ Programmation logique avec contraintes\\
$\bullet$ R\'esolution de contraintes et optimisation&
$\bullet$ Probl\`emes de satisfaction de contraintes\\
$\bullet$ Recherche op\'erationnelle&
$\bullet$ Concurrence\\
$\bullet$ Parall\'elisme&
$\bullet$ Conception et implantation de langages\\
$\bullet$ Applications&
$\bullet$ M\'ethodologie et environnements\\
\end{tabular}}

\vspc
{\bf Soumissions.}
Les articles ne doivent pas d\'epasser {\em 15 pages} (2 pages pour les
posters) dans le style fourni sur la page WWW des journ\'ees.
Les articles soumis ne doivent pas avoir \'et\'e d\'ej\`a publi\'es dans un
journal ou une conf\'erence. Les travaux accept\'es doivent \^etre
pr\'esent\'es \`a la conf\'erence.

\vspc
Les soumissions \'electroniques sont fortement encourag\'ees et doivent \^etre
envoy\'ees avant le {\em 10 janvier 1997} \`a
{\tt jfplc97@lifo.univ-orleans.fr},
sous la forme d'un fichier postcript compress\'e ({\tt gzip} ou {\tt compress})
et encod\'e ({\tt uuencode}).
De plus amples d\'etails sont disponibles sur les pages WWW.

Un courrier \'electronique, contenant le titre, les auteurs, le r\'esum\'e et
les mots-cl\'es de l'article, ainsi que les adresses postale et \'electronique,
les num\'eros de t\'el\'ephone et de fax de l'auteur responsable, doit \^etre
envoy\'e \`a {\tt jfplc97@lifo.univ-orleans.fr} avant le {\em 4 janvier 1997}.

\vspc
Dans le cas o\`u une soumission \'electronique est impossible, envoyer
six copies de l'article ou de la pr\'esentation du poster \`a l'attention du
pr\'esident du comit\'e de programme \`a l'adresse postale de la conf\'erence
dans les m\^emes d\'elais.

\vspc
$^{(*)}$ Les journ\'ees UNIF'97 organis\'ees par S. Anantharaman (Universit\'e
d'Orl\'eans) se tiendront les {\em 28-30 mai 1997}. Pour tout renseignement
contacter {\tt unif97@lifo.univ-orleans.fr}.

\vspc
\rinf{Conf\'erenciers invit\'es (provisoire)}{
John Alan Robinson, Professor Emeritus at Syracuse University,
{\em Unification and resolution in retrospect}\\
Catuscia Palamidessi, Professor at Universit\`a di Genova,
{\em titre non communiqu\'e}}

\rinf{Programme Social}{
R\'eception du Maire \`a l'h\^otel Groslot (ancien h\^otel de ville, b\^atiment
renaissance)\\
Visite d'un des ch\^ateaux royaux de la Loire\\
Banquet sur les bords de Loire}}

\def\pract{
\linf{Pr\'esident des journ\'ees}{G.\,Ferrand{\dotfill}U.\,Orl\'eans,\,FRA}

\linf{Pdt. du comit\'e de programme}{F.\,Benhamou{\dotfill}U.\,Orl\'eans,\,FRA}

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

\linf{Responsable posters}{N.\,Andrianarivelo}

\linf{Comit\'e d'organisation}{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{Adresse postale}{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{Adresse \'electronique}{{\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-Technopole, HITACHI (Orl\'eans), CNET (Issy les Moulineaux)}

\linf{Dates importantes}{
{\em R\'esum\'e}\dotfill{\bf 04/01/97}\\
{\em Soumission}\dotfill{\bf 10/01/97}\\
{\em Acceptation}\dotfill{\bf 08/03/97}\\
{\em Version finale}\dotfill{\bf 05/04/97}}}

\pagestyle{empty} \textwidth20cm \textheight29cm
\topmargin-2cm \oddsidemargin-2cm \evensidemargin\oddsidemargin
\fhyph \nopagebreak \fboxsep0.1cm \fboxrule0.02cm
\newcommand{\vspc}{\vspace*{0.27cm}}
\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}