The full version of this Call for Participation is available, both in plain-text form and in LaTeX form.
Topics: all aspects of logic programming, including but not limited to: Analysis and transformation, Applications, Architecture, Artificial intelligence, Concurrency, Constraints, Databases, Higher-order programming, Implementation, Natural language processing, Non-monotonic reasoning, Parallelism, Programming environments, Programming language design, Programming methodology, Meta-programming, Semantics and foundations, Theorem proving, Types and objects.
The conference theme will be Declarative Systems, particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms. Papers from researchers in other communities on interdisciplinary research involving logic programming and functional and/or object-oriented programming will be especially welcomed. A panel discussion on the integration of logic and functional programming will be a special event at the conference.
Submissions: must be in English and not exceed 15 pages. See the full version of this Call for opther submission requirements. Send 6 copies of your submission to:
John Lloyd, Department of Computer Science, University of Bristol
Bristol, BS8 1TR, UK. Email: jwl@compsci.bristol.ac.uk
Phone: +44-272-287953 Fax: +44-272-251154
Dates: Subm: Apr 24, 1995; notif: Jul 17, 1995; final: Aug 25, 1995
Proceedings: will be published by MIT Press.
General Chair: Evan Tick (University of Oregon)
Program Chair: John Lloyd (University of Bristol)
Workshop Chair: David Maier (Oregon Graduate Institute)
Publicity Chair: Vikram Saletore (Oregon State University)
Organizing Committee: Sergio Antoy (Portland State), David Maier (Oregon Graduate Institute), Vikram Saletore (Oregon State University), Evan Tick (University of Oregon).
Local Organization: Sergio Antoy (Portland State University)