Newsgroups: comp.lang.prolog,comp.parallel
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!hookup!nstn.ns.ca!dragon.acadiau.ca!bounce-back
From: vsc@oat.ncc.up.pt (Vitor Santos Costa)
Subject: CFP for ILPS'95 Post-Conference Workshop on Parallel Logic Programming Systems
Status: R
Message-ID: <VSC.95Jul24142241@oat.ncc.up.pt>
Followup-To: comp.lang.prolog
Originator: rmuise@dragon.acadiau.ca
Lines: 224
Sender: news@relay.acadiau.ca
Nntp-Posting-Host: oat.ncc.up.pt
Organization: Universidade do Porto, Portugal
Date: Mon, 24 Jul 1995 13:22:41 GMT
Approved: rmuise@dragon.acadiau.ca
Lines: 221
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:13511 comp.parallel:12630




			   Call for Papers
				   
		     Post-Conference Workshop on
		  Parallel Logic Programming Systems
				   
	      International Logic Programming Symposium

			Portland, Oregon, USA
			   December 8, 1995
	  Sponsored by the Association for Logic Programming

One of the main areas of research in logic programming is the design and
implementation of parallel logic programming systems. This research goes
broadly from the design and specification of execution models to the actual
implementation and use of parallel systems in real life situations.

Parallel logic programming systems such as Aurora, Muse, KL1, Parallel
Parlog, &-Prolog or Andorra-I have been quite successful at obtaining good
speedups for non-trivial applications. Some of these systems, such as Muse,
are now reaching mainstream logic programming. Research continues strong on
the area with new implementations for shared and distributed memory
machines, and new frameworks for the exploitation of parallelism.

Parallel logic programming systems also pose important challenges on several
related technologies, such as Compilation, Operating Systems Design, or
Parallel and Distributed Algorithms. For instance, the application of novel
compilation techniques to these systems makes it possible to significantly
reduce overheads and generally improve performance.

The goal for the workshop is therefore to be a meeting point for the
several strands of the very important research going on in the area. 
Particular interest will be given to actual experience and actual
applications of parallel logic programming systems. The workshop will fully
cover this subject, including:

 - Parallel Execution Models for Logic Programming

 - Programming Languages for Parallel Logic Programming Systems

 - Parallel Implementations of Logic Programming Systems

 - Scheduling for Parallel Logic Programming Systems

 - Compilation Techniques for Parallel Logic Programming Systems

 - Distributed Logic Programming Systems

 - Parallel Logic Programming in the Real World

Authors willing to present their work are invited to submit an
extended abstract, or preferably a full paper, to the workshop
organizers by October 2, 1995.  Authors will be notified of the
acceptance or rejection of their papers by October 27, 1995. Final
versions of accepted papers are due on November 13, 1995.

Electronic submission of the LaTeX document and related postscript
figures is strongly encouraged. The workshop organizers plan to make
the accepted papers and the workshop proceedings available on the
WWW. Authors using LaTeX are encouraged to use the llncs.sty style
file and any postscript figures that appear in the text should be
imported using the epsf.sty style file. Hopefully, this will enable
the organizers to produce a coherently formatted proceedings.

Workshop Organizers:

 Vitor Santos Costa    LIACC, Universidade do Porto	vsc@ncc.up.pt

 Fernando Silva	       LIACC, Universidade do Porto	fds@ncc.up.pt

 Ines de Castro Dutra  COPPE/Sistemas                   ines@cos.ufrj.br
		       Univ. Fed. do Rio de Janeiro

Relevant Info:

 Submission deadline: 	  2nd October.
 Notification of authors: 27th October
 Electronic submissions:  ilps95ws@ncc.up.pt
 Address for mail submissions: 
	  LIACC, Universidade do Porto,
	  Rua do Campo Alegre 823,
	  4150 Porto, Portugal
	  Tel. +351-2-6001672
	  Fax. +351-2-6003654
 Web Page for the Workshop: http://www.up.pt/ilps_ws/

	
--------------------------------------------------------

%%%%%%%
%%%%%%% LaTeX Source
%%%%%%%

\documentstyle[a4wide]{article}
\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}

\begin{center}
{\large
Call For Papers \\
{\bf Post-Conference Workshop on Parallel Logic Programming Systems} \\
\vspace*{0.2cm}
{\bf International Logic Programming Symposium} \\
}
Portland, Oregon, USA \\
December 8, 1995 \\
Sponsored by the Association for Logic Programming
\vspace{0.3cm}
\end{center}

One of the main areas of research in logic programming is the design and
implementation of parallel logic programming systems. This research goes
broadly from the design and specification of execution models to the actual
implementation and use of parallel systems in real life situations.

Parallel logic programming systems such as Aurora, Muse, KL1, Parallel
Parlog, \&-Prolog or Andorra-I have been quite successful at obtaining good
speedups for non-trivial applications. Some of these systems, such as Muse,
are now reaching mainstream logic programming. Research continues strong on
the area with new implementations for shared and distributed memory
machines, and new frameworks for the exploitation of parallelism.

Parallel logic programming systems also pose important challenges on several
related technologies, such as Compilation, Operating Systems Design, or
Parallel and Distributed Algorithms. For instance, the application of novel
compilation techniques to these systems makes it possible to significantly
reduce overheads and generally improve performance.

The goal for the workshop is therefore to be a meeting point for the
several strands of the very important research going on in the area. 
Particular interest will be given to actual experience and actual
applications of parallel logic programming systems. The workshop will fully
cover this subject, including:

\begin{itemize}
\vspace*{-2mm}
\setlength{\parsep}{0pt}
\setlength{\itemsep}{-1mm}

\item  Parallel Execution Models for Logic Programming

\item  Programming Languages for Parallel Logic Programming Systems

\item  Parallel Implementations of Logic Programming Systems

\item  Scheduling for Parallel Logic Programming Systems

\item  Compilation Techniques for Parallel Logic Programming Systems

\item  Distributed Logic Programming Systems

\item  Parallel Logic Programming in the Real World
\end{itemize}

Authors willing to present their work are invited to submit an
extended abstract, or preferably a full paper, to the workshop
organizers by {\bf October 2, 1995}.  Authors will be notified of the
acceptance or rejection of their papers by {\bf October 27, 1995}. Final
versions of accepted papers are due on {\bf November 13, 1995}.

Electronic submission of the LaTeX document and related postscript figures
is {\em strongly\/} encouraged. The workshop organizers plan to make the
accepted papers and the workshop proceedings available on the WWW. Authors
using LaTeX are encouraged to use the {\tt llncs.sty} style file and any
postscript figures that appear in the text should be imported using the {\tt
  epsf.sty} style file. Hopefully, this will enable the organizers to
produce a coherently formatted proceedings.

{\bf Workshop Organizers:}

\begin{tabular}{lll}
  V\'{\i}tor Santos Costa   & LIACC, Universidade do Porto & {\tt vsc@ncc.up.pt} \\
  Fernando Silva            & LIACC, Universidade do Porto & {\tt fds@ncc.up.pt} \\
  In\^es de Castro Dutra    & COPPE/Sistemas, Univ. Federal do Rio de Janeiro & {\tt
    ines@cos.ufrj.br}
\end{tabular}

{\bf Relevant Info:}

\setlength{\parindent}{0.3cm}

Submission deadline: 2nd October

Notification of authors: 27th October

Electronic submissions: ilps95ws@ncc.up.pt

Address for mail submission:

{\tt
\begin{tabular}{l}
  LIACC, Universidade do Porto, Rua do Campo Alegre 823, 4150 Porto, Portugal \\
  Tel. +351-2-6001672   \hspace{0.3cm} Fax. +351-2-6003654
\end{tabular}
}

Web Page for the Workshop: {\tt http://www.up.pt/ilps\_ws/}

\end{document}


--

+-----------------------------+-----------------------------------------+
| Vitor Santos Costa          | E-MAIL: vsc@ncc.up.pt         	        |
|                             | Tel: 351 (2) 6001672                    |
| CIUP, R. do Campo Alegre, 823, 4150 Porto, Portugal                   |
+-----------------------------+-----------------------------------------+

