timd@aiai.ed.ac.uk (Tim Duncan) (04/02/91)
* * * POSITIVELY YOUR LAST CHANCE TO REGISTER FOR * * *
===========================================
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
Plus 12 refereed papers.
Programme Chairman: Chris Mellish
COST: (in pounds sterling)
(includes tutorials, proceedings, and conference banquet)
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