timd@aiai.uucp (Tim Duncan) (02/01/91)
ALPUK'91
Association for Logic Programming (UK)
3rd Annual Conference
University of Edinburgh
10th-12th April 1991
PROVISIONAL CONFERENCE PROGRAMME
Wednesday 10th April
--------------------
10.00 - 12.30 TUTORIALS (parallel sessions)
Tom Conlon (Edinburgh) Thinking in Parallel: Four Steps to Parlog
Ian Jones (Bull, UK) Programming with Constraints
Dale Miller (Pennsylvania) Meta-Programming in Lambda Prolog
12.30 - 14.00 Lunch
14.00 - 15.00 INVITED TALK: Alan Bundy (Edinburgh)
The Synthesis of Logic Programs from Inductive Proofs
15.00 - 15.30 Tea
15.30 - 16.00 P. Kacsuk (London)
Towards Implementing Prolog on Massively Parallel Mixed Architecture
Computers
16.00 - 16.30 M. Huntbach (London)
Speculative Computation and Priorities in Concurrent Logic Languages
16.30 - 17.00 Z. Markov and C. Dichev (Sofia)
Distributed Logic Programming
Thursday 11th April
-------------------
09.30 - 10.30 INVITED TALK: Frank McCabe (London)
Logic, Objects and Inheritance (Provisional title)
10.30 - 11.00 Coffee
11.00 - 11.30 J. Darlington, Y. Guo and Q. Wu (London)
A General Computational Scheme for Constraint Logic Programming
11.30 - 12.00 Y. Lichtenstein, B. Welham and A. Gupta (Bristol)
Time Representation in Prolog Circuit Modelling
12.00 - 12.30 C. Roast (York)
Interacting with the Logic of the Problem: Specifying and Prototyping
Interactive Systems
12.30 - 14.00 Lunch
14.00 - 15.00 INVITED TALK: Maurice Bruynooghe (Leuven)
On abstract interpretation of logic programs
15.00 - 15.30 Tea
15.30 - 16.00 R. J. Gaizauskas (Brighton)
Deriving Answers to Logic Queries via Answer Composition
16.00 - 16.30 B. J. Ross (Edinburgh)
Using Algebraic Semantics for Proving Prolog Termination and Transformation
16.30 - 17.00 V. S. Lakshmanan and C. H. Lim (Montreal)
Can Filters Do Magic for Deductive Databases?
Friday 12th April
-----------------
09.30 - 10.30 INVITED TALK: Robin Milner (Edinburgh)
The $\pi$-calculus: A Model for Moving Objects
10.30 - 11.00 Coffee
11.00 - 11.30 D. Robertson (Edinburgh)
A Simple Prolog Techniques Editor for Novice Users
11.30 - 12.00 C. Draxler (Zurich)
Accessing Relational Databases Through Database Set Predicates
12.00 - 12.30 R. Scowen (Teddington)
A Brief Description of Problems in Standardizing Prolog
12.30 - 14.00 Lunch
14.00 - 15.00 INVITED TALK: John Lloyd (Bristol)
Programming in G\"{o}del
Programme Committee:
Chris Mellish (Edinburgh)
Frank McCabe (London)
Pat Hill (Leeds)
Local Organisers:
Tim Duncan, Geraint Wiggins
\documentstyle{article}
\makeatletter
\newdimen\mainfontsize \mainfontsize=1\@ptsize pt
\setlength{\oddsidemargin}{.25 true in} % left margin 1.25 inch
\setlength{\textwidth}{14.85 true cm} % 21.2 cm - 2.5*(2.54 cm)
\topskip=\mainfontsize % plain has 10pt, so this is the equivalent
\maxdepth=.4\mainfontsize % plain has 4pt
\@maxdepth=\maxdepth % this has to be set as well (cf. latex.tex)
\makeatother
\setlength{\textheight}{9.5in}
\setlength{\topmargin}{0in}
\setlength{\headheight}{0in}
\setlength{\headsep}{0in}
\setlength{\footheight}{0in}
\setlength{\footskip}{0in}
\pagestyle{empty}
\parindent 0cm
\parskip 0.5cm
%%% \slot{Time}{Author(s)}{Affiliation}{Title}
\newcommand{\slot}[4]{#1 \hspace{.5cm} \parbox[t]{5.5in}{{\bf #2} (#3) \\{#4}}}
\newcommand{\invitedtalk}[4]{#1 \hspace{.5cm}
\parbox[t]{5.5in}{{\sc Invited talk:} {\bf #2} (#3) \\{#4}}}
\newcommand{\otherslot}[2]{#1 \hspace{.5cm} \parbox[t]{5.5in}{#2}}
\begin{document}
\begin{center}
{\Huge {\bf ALPUK'91}} \vspace{0.5cm}\\
{\Large Association for Logic Programming (UK) $3^{rd}$ Annual Conference}
\vspace{0.2cm}\\
{\bf University of Edinburgh, 10th--12th April 1991} \\
\vspace{0.2in}
{\LARGE {\sc Provisional Conference Programme}}
\end{center}
\section*{Wednesday 10th April}
\otherslot{10.00--12.30}{{\sc Tutorials} (parallel sessions)
\vspace{0.2cm} \\
{\bf Tom Conlon} (Edinburgh) \\ Thinking in Parallel: Four Steps to Parlog.
\vspace{0.2cm} \\
{\bf Ian Jones} (Bull, UK) \\ Programming with Constraints.
\vspace{0.2cm} \\
{\bf Dale Miller} (Pennsylvania) \\ Meta-Programming in Lambda Prolog.}
\otherslot{12.30--14.00}{Lunch}
\invitedtalk{14.00--15.00}{Alan Bundy}{Edinburgh}{The Synthesis of Logic Programs from Inductive Proofs.}
\otherslot{15.00--15.30}{Tea}
\slot{15.30--16.00}{P. Kacsuk}{London}{Towards Implementing Prolog on
Massively Parallel Mixed Architecture Computers.}
\slot{16.00--16.30}{M. Huntbach}{London}{Speculative Computation and
Priorities in Concurrent Logic Languages.}
\slot{16.30--17.00}{Z. Markov and C. Dichev}{Sofia}{Distributed Logic
Programming.}
\section*{Thursday 11th April}
\invitedtalk{09.30--10.30}{Frank McCabe}{London}{Logic, Objects and
Inheritance {\em (Provisional title)}}
\otherslot{10.30--11.00}{Coffee}
\slot{11.00--11.30}{J. Darlington, Y. Guo and Q. Wu}{London}{A General
Computational Scheme for Constraint Logic Programming.}
\slot{11.30--12.00}{Y. Lichtenstein, B. Welham and A. Gupta}{Bristol}{Time
Representation in Prolog Circuit Modelling.}
\slot{12.00--12.30}{C. Roast}{York}{Interacting with the Logic of the Problem:
Specifying and Prototyping Interactive Systems.}
\otherslot{12.30--14.00}{Lunch}
\invitedtalk{14.00--15.00}{Maurice Bruynooghe}{Leuven}{On Abstract
Interpretation of Logic Programs.}
\otherslot{15.00--15.30}{Tea}
\slot{15.30--16.00}{R. J. Gaizauskas}{Brighton}{Deriving Answers to Logic
Queries via Answer Composition.}
\slot{16.00--16.30}{B. J. Ross}{Edinburgh}{Using Algebraic Semantics for
Proving Prolog Termination and Transformation.}
\slot{16.30--17.00}{V. S. Lakshmanan and C. H. Lim}{Montreal}{Can Filters Do
Magic for Deductive Databases?}
\section*{Friday 12th April}
\invitedtalk{09.30--10.30}{Robin Milner}{Edinburgh}{The $\pi$-calculus: A
Model for Moving Objects.}
\otherslot{10.30--11.00}{Coffee}
\slot{11.00--11.30}{D. Robertson}{Edinburgh}{A Simple Prolog Techniques Editor
for Novice Users.}
\slot{11.30--12.00}{C. Draxler}{Zurich}{Accessing Relational Databases Through
Database Set Predicates.}
\slot{12.00--12.30}{R. Scowen}{Teddington}{A Brief Description of Problems in
Standardizing Prolog.}
\otherslot{12.30--14.00}{Lunch}
\invitedtalk{14.00--15.00}{John Lloyd}{Bristol}{Programming in G\"{o}del.}
\vspace*{.7in}
{\bf Programme Committee:} \\
Chris Mellish (Edinburgh) \\
Frank McCabe (London) \\
Pat Hill (Leeds) \\
{\bf Local Organisers:} \\
Tim Duncan, Geraint Wiggins
\end{document}