timd@aiai.uucp (Tim Duncan) (11/30/90)
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