Path: utzoo!attcan!uunet!mcsun!ukc!edcastle!aiai!aiai.uucp!timd From: timd@aiai.uucp (Tim Duncan) Newsgroups: comp.lang.prolog Subject: ALPUK91 Call for Papers - REMINDER Message-ID: <3829@skye.ed.ac.uk> Date: 29 Nov 90 16:27:30 GMT Sender: news@aiai.ed.ac.uk Reply-To: ALPUK91@aiai.uucp Organization: AIAI, University of Edinburgh, Scotland Lines: 68 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 Brought to you by Super Global Mega Corp .com