\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}