chrism@aipna.ed.ac.uk (Chris Mellish) (08/15/90)
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