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

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