From: charmi@dist.unige.it (Giancarlo Succi)
Newsgroups: comp.lang.prolog,comp.lang.functional,comp.parallel
Subject: ICLP W/S on Conc.-Distr.-Paral. Impl. of LL = LaTeX Format
Date: 27 Jan 93 09:06:23 GMT
Article-I.D.: hubcap.1993Jan27.123825.9489
Organization: DIST - Universita` di Genova

\documentstyle[11pt]{article}

\pagestyle{empty}

\topmargin -2.5cm
\textheight 59\baselineskip
\marginparwidth 16 mm
\textwidth 15.8 cm
\evensidemargin 0mm
\oddsidemargin 0mm


\begin{document}

\begin{center}
%
{\large \bf Call For Papers}
\\ \vspace{0.75ex}
{\large \bf ICLP\'{ }93 Postconference Workshop on}
\\ \vspace{2ex}
{\LARGE \bf Concurrent, Distributed and Parallel Implementations}
\\
{\LARGE \bf of Logic Programming Systems}\\

{\large \bf June 25, 1993}
\\ \vspace{0.75ex}
{\large \bf Budapest, Hungary}

\end{center}

The main aim of the workshop  is to bring together researchers working
on different approaches to  the  implementation of logic languages  on
concurrent/distributed/parallel  architectures, since  the integration
of  the   expressive   power of  declarative   systems  such  as logic
programming  languages  with   the computational  power   of massively
parallel computers  it today one of  the major challenges of  computer
science research.  Recently, many  models  and architectures   for the
parallel  execution  of    logic programs   have  been  proposed   and
implemented.   In  particular, in  these last   two  years some actual
implementations have  been presented. This  workshop can be a fruitful
place    where   people   working   on concurrent/distributed/parallel
implementation of  logic   programming  systems can  meet and  discuss
technical issues in an informal atmosphere.

Topics of particular interest are:\\
- AND and OR Parallelism\\
- Concurrent  logic languages implementations\\
- Data parallelism in logic programming\\
- Shared and distributed memory management\\
- Compile-time techniques\\
- Parallelism  granularity\\
- Experiences on actual parallel implementation\\
- Scheduling and load balancing techniques\\
- Performance analysis\\



Authors interested in presenting their work are invited to send,
a 3-5 page abstract or, preferably, a full paper, possibly according to the
below specified format, before {\em April 1st}. Acceptance/rejection will
be notified by May 1st.
People interested in attending the workshop are welcome too. They
are kindly requested to send their postal and (if available) electronic
address as soon as possible to iclp93ws@dist.unige.it.\\

\noindent
{\bf Format of submission:} Workshop organizers thinks that it
would be great to have workshop proceedings electronically available
before the starting of the conference. Therefore electronic submission
is strongly encouraged. Furthermore if author used a standard LaTeX format
with postscript figures imported with psfig, we could easily organize
a single (well shaped) document. Anyway, any format of electronic submission
is accepted (postscript, plain ascii, TeX, LaTeX, nroff, troff).
Electronic submissions should be sent to:
{\bf iclp93ws@dist.unige.it}
Authors not having access to the network can submit their work through
regular hard mail sending to Giancarlo Succi at the address
given below three copies of their manuscript.


\noindent
{\bf Workshop Organizers:}\\
Giancarlo Succi \& Giancarlo Colla\\
DIST - Universit\`{a} di Genova\\
via Opera Pia 11a, I-16145 Genova, Italia\\
tel: +39 (0)10 353 2747 \ - \  fax: +39 (0)10 353 2948\\
e-mail: [Giancarlo.Succi,Giancarlo.Colla]@dist.unige.it\\


\noindent
{\bf Important dates:}\\
Deadline for submission of papers: April 1st \\
Notification for acceptance/rejection: May 1st

\end{document}