timd@aiai.ed.ac.uk (Tim Duncan) (03/21/91)
ALPUK'91
Association for Logic Programming (UK)
3rd Annual Conference
University of Edinburgh
10th-12th April 1991
TUTORIALS:
Meta-Programming in Lambda Prolog ............................ Dale Miller
Thinking in Parallel: Four Steps to Parlog .................... Tom Conlon
Programming with Constraints ................................... Ian Jones
INVITED SPEAKERS:
Alan Bundy ......... The Synthesis of Logic Programs from Inductive Proofs
Frank McCabe .............................. Logic, Objects and Inheritance
Maurice Bruynooghe .......... On Abstract Interpretation of Logic Programs
Robin Milner ................. The Pi-Calculus: A Model for Moving Objects
John Lloyd .......................................... Programming in Godel
Programme Chairman: Chris Mellish
COST: (in pounds sterling)
ALP Members Non-ALP Members
Normal 156.00 186.00
Student 79.00 99.00
Accommodation (3 nights): 56.00
FOR FURTHER DETAILS CONTACT:
ALPUK91 Registration
AI Applications Institute,
University of Edinburgh,
80 South Bridge,
Edinburgh, EH1 1HN,
SCOTLAND
Tel: 031-650-2747
Fax: 031-226-2730 (mark for attention: ALPUK91)
Email: ALPUK91@ed.ac.uk
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell