🚀 go-pugleaf

                           UK-ALP '91
          ASSOCIATION FOR LOGIC PROGRAMMING, UK BRANCH
                         1991 CONFERENCE
                     University of Edinburgh
                        10th - 12th April

                         CALL FOR PAPERS

The 1991 conference of the UK branch of the Association for  Logic
Programming will feature  tutorials, invited  talks and  presented
papers. Papers are  invited on all  aspects of logic  programming,
including:

        Applications        Implementation
        Concurrency         Parallelism
        Constraints         Proof Theory
        Databases           Reasoning about Programs
        Extensions          Semantics

Papers should  be a  maximum  of 5000  words  long and  should  be
printed in a  font not  smaller than 12  point. 4  copies of  each
paper should be received by the Programme Chairman, Chris Mellish,
by the 1st December 1990. The Programme Committee may, at its  own
discretion, reject any papers which  are too long or which  arrive
after this date without reading them. Although the Proceedings  of
the conference will be a non-archival publication, it is hoped  to
publish some of the papers subsequently in book form.

Invited speakers at the conference will include:

     Maurice Bruynooghe (Leuven)
     Alan Bundy (Edinburgh)
     John Lloyd (Bristol)
     Robin Milner (Edinburgh)

Programme Committee:

     Chris Mellish (Chairman, Edinburgh)
     Pat Hill (Bristol)
     Frank McCabe (Imperial College, London)

Local Arrangements Committee:

     Tim Duncan
     Geraint Wiggins

Address  for   correspondance   (Programme  Chairman   and   Local
Arrangements Committee):

     Department of Artificial Intelligence,
       University of Edinburgh,
         80 South Bridge,
           EDINBURGH EH1 1HN

     Tel: 031-225-7774 (ext 247 for Mellish, otherwise ext 242)
     Fax: 031-226-2730 (please indicated intended recipient)
     Email: ALPUK91@uk.ac.ed