Article View: comp.lang.prolog
Article #1978Your last chance ...
From: Tim Duncan
Date: Mon, 01 Apr 1991 21:17
Date: Mon, 01 Apr 1991 21:17
50 lines
2180 bytes
2180 bytes
* * * 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
Technical Details
Message-ID:
<4410@skye.ed.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!uunet!mcsun!ukc!edcastle!aiai!timdShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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