[Prev][Next][Index][Thread]

CFP: WORKSHOP ON PARALLELISM AND IMPLEMENTATION TECHNOLOGY FOR (CONSTRAINT) LOGIC PROGRAMMING LANGUAGES

[The Workshop on Parallelism and Implementation Technology for
(Constraint) Logic Programming Languages covers all subjects related
to the implementation of logic programming systems. The call for
papers may be of interest to TYPES readers who are interested in
presenting work on both the compile-time and run-time issues arising
in the design and implementation of typing systems for logic
programming languages and related languages. Examples of such
languages include G\"odel, Escher, Oz, Mercury, and Babel, among
others.]


 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 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.

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:

- standard and non-standard sequential implementation schemes
  (e.g., generalization/modification of WAM, translation to C, etc.);
- implementation of parallel logic programming systems;
- balance between compile-time effort and run-time machinery;
- 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);
- performance evaluation of sequential and parallel logic programming
  systems, both through benchmarking and using real world applications;
- 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 address: 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


--------------------------------------------------------------------------
%%%%%%%
%%%%%%% LaTeX Source
%%%%%%%

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

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.
% If electronic
%submission is not possible, a copy of the paper should be sent by
%surface mail to

%\begin{quotation}
%  \noindent 
%  V\'{\i}tor Santos Costa \\ 
%  ILPS'97 Workshop \\
%  LIACC --- Universidade do Porto \\
%  Rua do Campo Alegre, 823\\
%  4150 Porto \\
%  Portugal
%\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
 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 \\
%    Camera-ready papers due: & July 26, 1996 \\
%    Workshop: & September 5 or 6, 1996
  \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}