# CFP: Workshop on Implementation of (Constraint) Logic Programming

Note to Types readers:

Both sequential and parallel implementation of constraint and logic
programming languages are today heavily based on the use of
compile-time analysis techniques, and type information is one of the
key components in this analysis process. The most recent logic
languages (i.e., Mercury) makes use of rather elaborate type-systems
and draw from here implementation techniques that allow them to be
executed with efficiency levels higher than traditional Prolog and
logic programming systems.  Thus, we would be very interested in
trying to use this workshop as a communication media to allow people
in our community to learn about the state-of-the-art in type systems,
as well as people in your community to learn about the areas where
their expertise could find further application.

-- Enrico Pontelli
___

Call For Papers
---------------
Workshop on  Parallelism and Implementation Technology for
(Constraint)  Logic Programming Languages

(in conjunction with ILPS'97, Port Jefferson, USA)
October 12--17, 1997
--------------------

One of the main areas of research in logic programming is the design and
implementation of sequential and parallel (constraint) logic programming
systems. This research goes broadly from the design and specification of
novel implementation technology to its actual evaluation in real life
situations.  In the continuation of the series of workshops on
Implementations of Logic Programming Systems}, previously held in Budapest
(1993), Ithaca (1994), Portland (1995), and Bonn (1996), the Workshop on
Parallelism and Implementation Technology for (Constraint) Logic
Programming Languages will provide a forum for ongoing research on the
design and implementation of sequential and parallel logic programming
systems.
The workshop will include the 1997 Compulog-NET Implementation and
Parallelism Area Meeting.

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.

Topics include, but are not limited to:

o   standard and non--standard sequential implementation schemes
(e.g., generalization/modification of WAM, translation to C, etc.);
o   implementation of parallel logic programming systems;
o   balance between compile--time effort and run--time machinery;
o   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);
o   performance evaluation of sequential and parallel logic programming
systems, both through benchmarking and using real world applications;
o   other implementation--related issues, such as memory management,
register allocation, use of global optimizations, etc.

The workshop will be held in conjunction with the 1997 International Logic
Programming Symposium, which will take place in Port Jefferson, Long Island,
NY, from October 12 to October 17 1997.

Paper Submissions
-----------------

Authors willing to present their work are invited to submit an extended
abstract, or preferably a full paper, to the workshop organizers by
August 1, 1997.  Authors will be notified of the acceptance or rejection of
their papers by September 1, 1997.

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. Electronic submission of the LaTeX document and
related postscript figures is strongly encouraged.

The electronic submissions should be in LaTeX or PostScript format.
LaTeX style files are available via WWW at
http://www.cs.nmsu.edu/lldap/ilps97
We encourage the use of these formats.

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 Technical Report.
The papers will also be available electronically after the workshop at the

Important dates
---------------

Deadline for submission:         August 1, 1997
Notification of acceptance:      September 1, 1997

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 July, 1, 1997,
vsc@ncc.up.pt

Organizing Committee
--------------------

Ines de Castro Dutra    ines@cos.ufrj.br
COPPE/Systems Engineering and Computer Science
Federal Univ. of Rio de Janeiro
Enrico Pontelli         epontell@cs.nmsu.edu
Gopal Gupta             gupta@cs.nmsu.edu
LLDAP, New Mexico State University
Vitor Santos Costa      vsc@ncc.up.pt
Fernando Silva          fds@ncc.up.pt

Information and Requests
------------------------

Surface mail       Vitor Santos Costa
Workshop on Implementation Technology and
Parallelism
Rua do Campo Alegre, 823
4150 Porto
Portugal
Fax:               +351-2-6003654
ILPS'97: 	     http://www.ida.liu.se/~ilps97
Compulog-NET:	  http://www.clip.dia.fi.upm.es/Projects/COMPULOG/area/area.html

___________________________ LaTeX CFP __________________________

\documentstyle[11pt]{article}

\pagestyle{empty}

\thispagestyle{empty}

\setlength{\parindent}{0mm}
\setlength{\parskip}{1mm}
\evensidemargin=0cm
\oddsidemargin=-0.8cm
\topmargin=-1.0cm
\textheight=27cm
\textwidth=17.8cm
%\columnwidth=\textwidth
\renewcommand{\thepage}{}

\begin{document}
\newcommand{\wksemail}{vsc@ncc.up.pt}
\newcommand{\httpNM}{\mbox{http://www.cs.nmsu.edu/lldap/ilps97}}
\newcommand{\httpILPS}{\mbox{http://www.ida.liu.se/\~{}ilps97}}

\begin{center}
{\large
Call For Papers \\
{\bf %Post-ILPS'97
Workshop on {\bf Parallelism and Implementation Technology for
(Constraint)  Logic Programming Languages}} \\
\vspace*{0.2cm}
(in conjunction with ILPS'97, Port Jefferson, USA)} \\
October 12--17, 1997
\vspace{0.3cm}
\end{center}

One of the main areas of research in logic programming is the design and
implementation of sequential and parallel (constraint) logic programming
systems. This research goes broadly from the design and specification of
novel implementation technology to its actual evaluation in real life
situations.  In the continuation of the series of workshops on {\em
Implementations of Logic Programming Systems}, previously held in Budapest
(1993), Ithaca (1994), Portland (1995), and Bonn (1996), the ILPS'97
workshop Parallelism and Implementation Technology for (Constraint) Logic
Programming Languages will provide a forum for ongoing research on the
design and implementation of sequential and parallel logic programming
systems.
The workshop will include the 1997 Compulog-NET Implementation and
Parallelism Area Meeting.

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 performance evaluation of sequential and
parallel logic programming systems, both
through benchmarking and using real
world applications;
\item other implementation--related issues, such as memory management,
register allocation, use of global optimizations, etc.
\end{itemize}

\noindent The workshop will be held in conjunction with the 1997
International Logic Programming Symposium, which will take place in Port
Jefferson, Long Island, NY, from October 12 to October 17 1997.

\medskip

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

\noindent Authors willing to present their work are invited to submit an
extended abstract, or preferably a full paper, to the workshop
organizers by {\bf August 1, 1997}.  Authors will be notified of the
acceptance or rejection of their papers by {\bf September 1, 1997}.

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. Electronic submission of the LaTeX document and
related postscript figures is {\em strongly\/} encouraged.

The electronic submissions should be in \LaTeX\ or PostScript format.
\LaTeX\ style files are available via WWW at \\
\centerline{\tt \httpNM}
\noindent
We encourage the use of these formats.

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
Technical Report. The papers will also be available
electronically after the workshop at the aforementioned WWW addresses.

\pagebreak

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

\begin{center}
\begin{tabular}{ll}
Deadline for submission: & August 1, 1997 \\
Notification of acceptance: & September 1, 1997 \\
\end{tabular}
\end{center}

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, 1997}, at the address {\tt \wksemail}.

\medskip

\medskip

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

\begin{center}
\begin{tabular}{ll}
In\^es de Castro Dutra    & {\tt ines@cos.ufrj.br}\\
& COPPE/Systems Engineering and Computer Science\\
& Federal Univ. of Rio de Janeiro\\
Enrico Pontelli           & {\tt epontell@cs.nmsu.edu}\\
Gopal Gupta               & {\tt gupta@cs.nmsu.edu}\\
& LLDAP, New Mexico State University \\
V\'{\i}tor Santos Costa   & {\tt vsc@ncc.up.pt} \\
Fernando Silva            & {\tt fds@ncc.up.pt} \\
\end{tabular}

\end{center}

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

\begin{tabular}{ll}
{\bf E-mail address:} & {\tt \wksemail}
\\[0.5em]
{\bf WWW addresses:}  & {\tt \httpNM}  \\[0.5em]
{\bf Surface mail:}   & V\'{\i}tor Santos Costa \\
&  Workshop on Implementation Technology and Parallelism \\
&  LIACC --- Universidade do Porto \\
&  Rua do Campo Alegre, 823\\
&  4150 Porto \\
&  Portugal\\
{\bf Fax:}            & +351-2-6003654 \\[0.5em]
{\bf ILPS'97:} & {\tt \httpILPS}
\end{tabular}

\end{document}