🚀 go-pugleaf

			    Call For Participation


				    ICLP'91
			   Preconference Workshop on

			  CONSTRUCTING LOGIC PROGRAMS

				June 24, 1991,
				Paris, France



   The construction of programs is in general a quite complicated task. Despite
their declarative appeal, logic programming languages do not allow a complete
declarative style of programming. Among the reasons are the introduction of
extra-logical features and the use of efficient search rules.  The situation is
even considered to be worse when concurrent languages are used since then
problems of interference, synchronization, deadlock and starvation are to be
feared.

   The workshop is intended to bring together researchers interested in the
construction of logic programs (either sequential or concurrent; based on pure
Horn clauses or on their extensions). More precisely, the emphasis will be on
the following topics:

       - constructive methods of logic programs,
       - proof methods of logic program properties,
       - logic program transformation, derivation and refinement schemes,
       - semantical characterizations of logic programs.

Reports on related topics are also invited.

   If you are interested in giving a presentation of your current research in
one of these topics, send a 3-5 page abstract or, better, a full paper before
May 15th. All the material related to the above topics and received before that
date will be published in informal proceedings and distributed to the
participants. A selection of the submitted papers will be made for
presentation; acceptance will be notified by June 5th.

   Those who are only interested in attending the workshop are welcome too.
They are kindly requested to send their postal and (if available) electronic
addresses as soon as possible.

   All submissions and information requests should be sent to:

   J.-M. Jacquet
   C.W.I., Kruislaan, 413
   1098 SJ Amsterdam, The Netherlands
   Email: jmj@cwi.nl
   Tel: +31 (20) 592 4074
   Fax: +31 (20) 592 4199


   Important dates:

   Deadline for paper submission: May 15th
   Notification for acceptance of presentation: June 5th



   Yours Sincerely,


   J.-M. Jacquet 
   (Workshop organizer)

-----------------------------------
% Latex version


\documentstyle[11pt]{article}

\pagestyle{empty}

% measures to be used for A4 format          % measures to be used for American
%                                            % format
\textheight 46\baselineskip                  % \textheight 46\baselineskip
\marginparwidth 16 mm                        % \marginparwidth 16 mm
\textwidth 15 cm                             % \textwidth 16 cm
\evensidemargin 9 mm                         % \setlength{\evensidemargin}{0pt}
\oddsidemargin 9 mm                          % \setlength{\oddsidemargin}{0pt}
                                             % \setlength{\topmargin}{-0.5 in}


\begin{document}

\begin{center}

{\large \bf Call For Participation}
\\ \vspace{0.75ex}
{\large \bf ICLP\'{ }91 Preconference Workshop on}
\\ \vspace{2ex}
{\LARGE \bf Constructing Logic Programs}
\\ \vspace{2ex}
{\large \bf June 24, 1991}
\\ \vspace{0.75ex}
{\large \bf Paris, France}

\end{center}

\vspace{0.5cm}

The construction of programs is in general a quite complicated task. Despite
their declarative appeal, logic programming languages do not allow a complete
declarative style of programming. Among the reasons are the
introduction of extra-logical features and the use of efficient search rules.
The situation is even considered to be worse when concurrent languages are used
since then problems of interference, synchronization, deadlock and starvation
are to be feared.

The workshop is intended to bring together researchers interested in the
construction of logic programs (either sequential or concurrent; based on pure
Horn clauses or on their extensions). More precisely, the emphasis will be on
the following topics:


\begin{itemize}

\item
{\em constructive methods of logic programs,}

\vspace{-2ex}
\item
{\em proof methods of logic program properties,}

\vspace{-2ex}
\item
{\em logic program transformation, derivation and refinement schemes,}

\vspace{-2ex}
\item
{\em semantical characterizations of logic programs.}

\end{itemize}
%
Reports on related topics are also invited.

If you are interested in giving a presentation of your current research in one
of these topics, send a 3-5 page abstract or, better, a full paper before {\em
May 15th}. All the material related to the above topics and received before
that date will be published in informal proceedings and distributed to the
participants. A selection of the submitted papers will be made for
presentation; acceptance will be notified by {\em June 5th}.

Those who are only interested in attending the workshop are welcome too. They
are kindly requested to send their postal and (if available) electronic
addresses as soon as possible.

\vspace{5ex}
All submissions and information requests should be sent to:

\vspace{1.5ex}
J.-M. Jacquet

C.W.I.,
Kruislaan, 413

1098 SJ Amsterdam,
The Netherlands

Email: jmj@cwi.nl

Tel: +31 (20) 592 4074

Fax: +31 (20) 592 4199

\vspace{5ex}


\begin{tabular}{ll}

{\bf Important dates:} & Deadline for paper submission: May 15th \\
\mbox{ } & Notification for acceptance of presentation: June 5th

\end{tabular}

\end{document}