kowalcz@cs.vu.nl (Wojtek Kowalczyk) (08/17/90)
-----------------------------------------------------
\documentstyle[12pt]{article}
\parindent=0pt
\begin{document}
\begin{center}
\large{\bf 2nd BENELUX MEETING IN LOGIC PROGRAMMING (BENELOG) \\
Amsterdam, September 7, 1990}
\normalsize
\end{center}
\begin{center}
{\em Program Announcement}
\end{center}
The 2nd meeting of BENELOG (Logic Programming in Benelux) will take
place September 7, 1990 in Amsterdam, The Netherlands.
The previous meeting took place in February 1989 in Leuven, Belgium.
The aim of BENELOG is to
provide a forum for researchers in the area of logic programming
and for those interested in applications of Prolog, who work in
Benelux. \\
{\bf Organization:} Krzysztof R. Apt, CWI, Amsterdam, The Netherlands, \\
Maurice Bruynooghe, Leuven University, Leuven, Belgium.
\begin{center}
\large{\bf Program}
\normalsize
\end{center}
{\bf 9:30} Opening by Prof. C. Baayen (CWI Amsterdam)
\vspace{2 mm}
{\bf 9:40} Roland Bol (CWI Amsterdam) \\
{\em Towards more efficient loop checks} \\
\vspace{2 mm}
{\bf 10:25} Break \\
\vspace{2 mm}
{\bf 10:40} Danny de Schreye (Leuven University) \\
{\em Analyzing the behaviour of logic programs executed under
non-standard computation rules} \\
\vspace{2 mm}
{\bf 11:25} Break \\
\vspace{2 mm}
{\bf 11:40} Frank de Boer (Technical University Eindhoven) \\
{\em Fully abstract semantics for concurrent logic languages
based on linear sequences} \\
\vspace{2 mm}
{\bf 12:25} Lunch Break \\
\vspace{2 mm}
\vspace{2 mm}
{\bf 14:00} Jean Marie Jacquet (CWI Amsterdam \& Namur University) \\
{\em Comparative Semantics for a Parallel Contextual Logic
Programming Language} \\
\vspace{2 mm}
{\bf 14:45} Break \\
\vspace{2 mm}
{\bf 15:00} Marianne Baudinet (Stanford University \& Liege University) \\
{\em Temporal logic programming} \\
\vspace{2 mm}
{\bf 15:45} Break \\
\vspace{2 mm}
{\bf 16:00} Pierre Flener (Duke University \& Namur University) \\
{\em Synthesis of Logic Programs from Sub-Sets of their Behavior} \\
\vspace{2 mm}
{\bf 16:45} Closing \\
\vspace{5 mm}
\begin{center}
{\bf PLEASE POST}
\end{center}
\end{document}