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

Enrico (epontell@cs.nmsu.edu)
Fri, 18 Jul 1997 21:29:24 -0600

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
aforementioned WWW addresses.

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,
at the address
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
LIACC, Universidade do Porto

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

E-mail address: vsc@ncc.up.pt
WWW addresses: http://www.cs.nmsu.edu/lldap/ilps97
Surface mail Vitor Santos Costa
Workshop on Implementation Technology and
Parallelism
LIACC --- Universidade do Porto
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
\headsep=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} \\
& LIACC, Universidade do Porto
\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}

--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------