🚀 go-pugleaf

From: herold@ecrc.de (Alexander Herold)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Fri, 9 Aug 1991 07:20:59 GMT
Subject: <mod-ki 0756> Conf. ALGEBRAIC AND LOGIC PROGRAMMING (Call)
Keywords: Konferenzen

mod-ki message 0756
************************************************************************
                           CALL FOR PAPERS

                   Third International Conference on
                    ALGEBRAIC AND LOGIC PROGRAMMING
                  September 2-3-4, 1992, Pisa (Italy)

Following the intention of the  two  previous  conferences,  in  Gaussig
(Germany) in November 1988, and in Nancy (France) in  October 1990,  the
third  Conference  on  Algebraic   and   Logic   Programming   aims   at
strengthening the connections between  Algebraic  Techniques  and  Logic
Programming. 

A non-exclusive list of topics includes:
 - Semantics of Algebraic and Logic Programming 
 - Integration of Functional and Logic Programming 
 - Term Rewriting, Narrowing, Resolution
 - Constrained Logic Programming and Constrained Theorem Proving
 - Concurrent features in Algebraic and Logic Programming languages
 - Implementation issues (with possible system demonstrations).

Invited talks by Hassan Ait-Kaci, Michael Maher  and  Jose Meseguer  are
expected in the scientific program.

Five copies of  each  submitted  paper  should  be  sent  to  arrive  by
February 1, 1992, to Helene Kirchner. Papers must  not  exceed  15 pages
(6x9 inches,  12 point  type,  up  to  5,000  words)  and  must  not  be
simultaneously submitted for  publication  elsewhere.  Authors  will  be
notified of acceptance or  rejection  by  April 20,  1992.  Camera-ready
copies will be due by  May 29, 1992. We anticipate the proceedings to be
published as a LNCS volume by Springer Verlag.

Program Committee:
   Egidio Astesiano (Genova)                 
   Hubert Comon (Orsay)                      
   Alexander Herold (Munich)                 
   Joxan Jaffar (Yorktown Heights)           
   Helene Kirchner (Nancy), Co-chair 
   Jan Willem Klop (Amsterdam)               
   Giorgio Levi (Pisa), Co-chair 
   Horst Reichel (Dresden)
   Mario Rodriguez-Artalejo (Madrid) 
   Vijay Saraswat (Palo Alto) 
   Gert Smolka (Sarrebrucken) 
   Wolfgang Wechler (Wurzburg)

Correspondence should be addressed to:

   Helene Kirchner               or      Giorgio Levi  
   CRIN & INRIA-Lorraine                 Dipartimento di Informatica 
   BP 239                                Universita di Pisa 
   Campus Scientifique                   Corso Italia 40 
   54506 Vandoeuvre-les-Nancy Cedex      56125 Pisa 
   France                                Italy 
   e-mail: hkirchner@loria.crin.fr       e-mail: levi@dipisa.di.unipi.it

------------------------------------------------------------------------
LaTeX File for Call for Papers
------------------------------------------------------------------------
\documentstyle[11pt]{article}
\pagestyle{empty}
\setlength{\oddsidemargin}{2mm}
\setlength{\textwidth}{161mm}
\setlength{\textheight}{245mm}
\setlength{\topmargin}{-10mm}
\setlength{\headsep}{-3mm}

\begin{document}

\title{CALL FOR PAPERS \\[5mm]
Third International Conference on \\[5mm]
{\huge ALGEBRAIC AND LOGIC PROGRAMMING}}
\author{September 2-3-4, 1992, Pisa (Italy)}
\date{}
\maketitle

Following the intention of the two previous conferences, in Gau{\ss}ig
(Germany)
in November 1988, and in Nancy (France) in October 1990,
the third Conference on Algebraic and Logic Programming aims at
strengthening the {\em connections} between Algebraic Techniques  and
Logic Programming. 

A non-exclusive list of topics includes:
\begin{tabbing}
aaaaa \= \kill
\>- Semantics of Algebraic and Logic Programming \\
\>- Integration of Functional and Logic Programming \\
\>- Term Rewriting, Narrowing, Resolution\\
\>- Constrained Logic Programming and Constrained Theorem Proving\\
\>- Concurrent features in Algebraic and Logic Programming languages\\
\>- Implementation issues (with possible system demonstrations).
\end{tabbing}

Invited talks by Hassan A\"{\i}t-Kaci, Michael Maher and Jos\'{e} Meseguer
are expected in the scientific program.

Five copies of each submitted paper should be sent to arrive by
{\bf February 1, 1992} to H\'{e}l\`{e}ne Kirchner.
Papers must not exceed 15 pages ($6 \times 9$ inches,
12 point type, up to 5,000 words) and must not be simultaneously 
submitted for publication elsewhere.
Authors will be notified of acceptance or rejection by {\bf April 20, 1992}.
Camera-ready copies will be due by \mbox{{\bf May 29, 1992}.}
We anticipate the proceedings to be published as a LNCS volume by
Springer Verlag.
\vspace{\baselineskip}

\noindent
\begin{tabular}{l@{\hspace{2cm}}l}
\multicolumn{2}{c}{\bf Program Committee}	\\
Egidio Astesiano (Genova)                 & Giorgio Levi (Pisa), Co-chair \\
Hubert Comon (Orsay)                      & Horst Reichel (Dresden)\\
Alexander Herold (Munich)                 & Mario Rodriguez-Artalejo
(Madrid) \\
Joxan Jaffar (Yorktown Heights)           & Vijay Saraswat (Palo Alto) \\
H\'{e}l\`{e}ne Kirchner (Nancy), Co-chair & Gert Smolka (Sarrebr\"{u}cken) \\
Jan Willem Klop (Amsterdam)               & Wolfgang Wechler (W\"{u}rzburg)
\end{tabular}
\vspace{\baselineskip}

\noindent
Correspondence should be addressed to
\vspace{\baselineskip}

\begin{tabular}{l@{\hspace{3cm}}l}
H\'{e}l\`{e}ne Kirchner                 & Giorgio Levi  \\
CRIN \& INRIA-Lorraine                  & Dipartimento di Informatica \\
BP 239                                  & Universit\`{a} di Pisa \\
Campus Scientifique                     & Corso Italia 40 \\
54506 Vand{\oe}uvre-l\`{e}s-Nancy Cedex & 56125 Pisa \\
France                                  & Italy \\
e-mail: hkirchner@loria.crin.fr         & e-mail: levi@dipisa.di.unipi.it
\end{tabular}
\end{document}
------------------------------------------------------------------------

Alexander Herold          Tel. 	+ (49) 89-92699-189
ECRC                      Fax. 	+ (49) 89-92699-170
Arabellastr 17            e-mail:	herold@ecrc.de
D-8000 Muenchen 81
Germany
************************************************************************