ALPUK'91 Logic Programming Conference

Article View: comp.lang.prolog

Article #1927

#1927

From: Tim Duncan
Date: Wed, 20 Mar 1991 17:35

52 lines
2413 bytes

				   
			       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

Technical Details

Message-ID: <1991Mar21.151023.14650@hubcap.clemson.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!pacbell.com!ucsd!mvb.saic.com!ncr-sd!ncrcae!hubcap!fpst

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!pacbell.com!ucsd!mvb.saic.com!ncr-sd!ncrcae!hubcap!fpst
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,comp.parallel,ed.prolog,eunet.misc,news.announce.conferences,sci.logic
Subject: ALPUK'91 Logic Programming Conference
Message-ID: <1991Mar21.151023.14650@hubcap.clemson.edu>
Date: 20 Mar 91 17:35:31 GMT
Sender: news@aiai.ed.ac.uk
Reply-To: Tim Duncan <timd@aiai.ed.ac.uk>
Organization: AIAI, University of Edinburgh, Scotland
Lines: 52
Approved: parallel@hubcap.clemson.edu