[CF] ================================================ AMAST Links 01 03

          International Logic Programming Symposium, ILPS'95
               Portland, Oregon, USA, December 4-7, 1995 

   The full version of this Call for Participation is available,
both in _plain-text_ form and in _LaTeX_ form, respectively at URL:
http://www.cs.utwente.nl/data/amast/links/v01/i03/full/ILPS95c.txt,.tex

  *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)