Xref: utzoo comp.lang.prolog:3861 bit.listserv.confer-l:2 comp.ai:8893 comp.lang.misc:7219 sci.logic:1181 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!uunet!mcsun!ukc!edcastle!aiai!timd From: timd@aiai.ed.ac.uk (Tim Duncan) Newsgroups: comp.lang.prolog,uk.events,uk.ikbs,bit.listserv.confer-l,comp.ai,comp.lang.misc,ed.prolog,eunet.misc,sci.logic Subject: Your last chance ... Message-ID: <4410@skye.ed.ac.uk> Date: 1 Apr 91 21:17:05 GMT Article-I.D.: skye.4410 Reply-To: timd@aiai.UUCP (Tim Duncan) Distribution: eunet Organization: AIAI, University of Edinburgh, Scotland Lines: 50 * * * 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