🚀 go-pugleaf

                            ALPUK91
          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:

     Maurice Bruynooghe (Leuven)
     Alan Bundy (Edinburgh)
     John Lloyd (Bristol)
     Frank McCabe (Imperial College, London)
     Robin Milner (Edinburgh)

Tutorials:

     Concurrent Logic Programming -- Tom Conlon (Edinburgh)
     Constraint Logic Programming -- Ian Jones (Bull HN)
     Higher-Order Logic Programming -- Dale Miller (Pennsylvannia)


Programme Committee:

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

Local Arrangements Committee:

     Tim Duncan
     Geraint Wiggins

Further details:

     AI Applications Institute
     University of Edinburgh,
     80 South Bridge,
     Edinburgh, EH1 1HN
     Scotland,
     Great Britain.

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