\documentstyle[11pt]{article}

\newcommand{\httpNM}{http://www.cs.nmsu.edu/lldap/jicslp96.html}

\newcommand{\httpUPM}{http://www.clip.dia.fi.upm.es/Projects/COMPULOG/meeting96}

\newcommand{\httpJICSLP}{http://www.informatik.uni-bonn.de/\~{}jicslp96}

\newcommand{\compuemail}{compulognet-parimp-meeting@dia.fi.upm.es}

\pagestyle{empty}

\addtolength{\topmargin}{-0.8in}
\setlength{\textheight}{8.85in}
\addtolength{\oddsidemargin}{-0.8in}
\setlength{\textwidth}{6.6in}

\begin{document}

\begin{center}
  \Large
  Call for Papers \\
  \bigskip
  {\bf Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting} \\
  \medskip
  on \\
  \medskip
  {\bf Parallelism and Implementation Technology for \\
    (Constraint) Logic Programming Languages} \\
  \medskip
  (in conjunction with JICSLP'96, Bonn, Germany)\\
  September 5--6, 1996
\end{center}


\noindent This workshop will be focused on both design and
implementation of logic and parallel logic programming systems. It is
a continuation of the series of workshops on {\em Implementations of
  Logic Programming Systems}, previously held in Budapest (1993),
Ithaca (1994), and Portland (1995), and the Compulog Net Area Meetings
on Parallelism and Implementation Technologies, previously held in
Madrid (1993 and 1994) and Utrecht (1995).

Papers from both academia and industry are invited. Preference will be
given to the analysis and description of implemented systems (or
currently under implementation) and their associated techniques,
problems found in their development or design, and steps taken towards
the solution of these problems.

\noindent
Topics include, but are not limited to:
\begin{itemize}
\item standard and non--standard sequential implementation schemes
  (e.g., generalization/modification of WAM, translation to C, etc.);
\item implementation of parallel logic programming systems;
\item balance between compile--time effort and run--time machinery;
\item techniques for the implementation of different declarative
  programming paradigms based on, or extending, logic programming
  (e.g., constraint logic programming, concurrent constraint
  languages, equational--logic languages);
\item other implementation--related issues, such as memory management,
  register allocation, use of global optimizations, etc.
\end{itemize}


\medskip
\begin{center}
  {\bf Workshop Format}
\end{center}

\noindent The workshop will be held in conjunction with the 1996 Joint
International Conference and Symposium on Logic Programming, which
will take place in Bonn, Germany, from September 2 to September 6,
1996. The workshop will be organized in three sessions:

\begin{enumerate}
\item an initial session devoted to presentations of accepted papers,
  including an invited talk;
\item a session devoted to system demonstrations and description of
  results obtained on existing implementations; and
\item a final panel session dedicated to discussion of current open
  problems, drawbacks, and future evolutions.
\end{enumerate}


\medskip

\begin{center}
  {\bf Paper Submissions}
\end{center}

\noindent Papers must not exceed 15 pages (approximately 5000 words).
The title page should include the name, address, telephone number, and
electronic mailing address for each author, as well as a list of
keywords. A contact author should also be provided. We invite people
interested in giving system demonstrations to submit a short
description of the system and the results obtained. We encourage
authors to submit papers and system descriptions electronically to
\medskip

\centerline{\tt \compuemail} \medskip

The electronic submissions should be in \LaTeX\ or PostScript format.
\LaTeX\  style files are available via WWW at 

\centerline{\tt \httpNM}   

\noindent or 

\centerline{\tt \httpUPM}  

\medskip

\noindent
 We encourage the use of these formats. If electronic
submission is not possible, a copy of the paper should be sent by
surface mail to

\begin{quotation}
  \noindent 
  Manuel Carro / Manuel Hermenegildo \\ 
  Compulog-Net Area Meeting \\
  Departamento de inteligencia Artificial \\
  Facultad de Inform\'{a}tica \\
  E-28660 Boadilla del Monte, Madrid \\
  Spain
\end{quotation}

At least one of the authors for each accepted paper is expected to
attend the meeting and present the work. The collection of accepted
papers will be made available at the workshop and published as a
UPM/Compulog-Net Technical Report. The papers will also be available
electronically after the workshop at the aforementioned WWW addresses.

A limited number of grants to support attendance at the meeting are
available.  Priority will be given to authors of accepted papers.
If you are interested, please send your request to \\ 


\centerline{\tt \compuemail}  


\medskip

This meeting is sponsored by the Compulog Network on Computational
Logic. Attendance is however in no way limited to network members.

\medskip

\begin{center}
  {\bf Important dates}
\end{center}

\begin{center}
  \begin{tabular}{ll}
    Deadline for submission: & June 7, 1996 \\
    Notification of acceptance: & July 1, 1996 \\
    Camera-ready papers due: & July 26, 1996 \\
    Workshop: & September 5 or 6, 1996
  \end{tabular}
\end{center}

{\bf Important note:} The exact dates and length of the meeting depend
largely on the number of papers received and the number of people
expected to attend it.  Thus, we encourage anyone interested in
attending the workshop to submit a note by electronic mail to the
workshop organizers before {\bf July, 1, 1996}, at the address {\tt
  \compuemail}.

\medskip

\begin{center}
  {\bf Organizing Committee}
\end{center}

\begin{center}
  \begin{tabular}{ll}
  Manuel Carro, Manuel Hermenegildo &
  Enrico Pontelli  
  \\
  %%
  Departamento de Inteligencia Artificial &
  Laboratory for Logic and Databases 
  \\
  %%
  Facultad de Inform\'{a}tica  &
  New Mexico State University  
  \\
  %%
  Universidad Polit\'{e}cnica de Madrid &
  Box 30001, Dept. CS  
  \\
  %%
  E--28660 Boadilla del Monte, Madrid, Spain ~~~~~~ &
  Las Cruces, NM 88003, U.S.A.  
  \\
  %%
  Voice: +34-1-336-7448 &
  Voice: (505)646-6239 
  \\
  %%
  Fax: +34-1-352-4819 &
  Fax: (505)646-1002 
  \\
  {\tt \{mcarro, herme\}@fi.upm.es} &
  {\tt epontell@cs.nmsu.edu} 
  \\
\end{tabular}
\end{center}

\medskip

\begin{center}
{\bf Information and Requests}
\end{center}

\begin{tabular}{ll}
  {\bf E-mail address:} & {\tt \compuemail}
  \\[0.5em]
  {\bf WWW addresses:}  & {\tt \httpUPM} \\
                        & {\tt \httpNM}  \\[0.5em]
  {\bf Surface mail:}   & Manuel Carro / Manuel Hermenegildo \\
                        & Compulog-Net Area Meeting \\
                        & Facultad de Inform\'{a}tica --- UPM \\
                        & E-28660 Boadilla del Monte, Madrid \\
                        & Spain \\[0.5em]
  {\bf Fax:}            & +34-1-352-4819 \\[0.5em]
  {\bf JICSLP'96:} & {\tt \httpJICSLP}
\end{tabular}

\end{document}
