lseward@randvax.UUCP (Larry Seward) (11/13/86)
-------
Received: from IBM.COM by rand-unix.ARPA; Fri, 1 Aug 86 20:41:45 pdt
From: Jean-Louis Lassez <JLL@ibm.com>
To: lseward@rand-unix.ARPA
Message-Id: <080186.232202.jll@ibm.com>
Subject: For the SYMBOLIC MATH mailing list
CALL FOR PAPERS
Fourth International Conference On Logic Programming
University of Melbourne, Australia
Late May 1987
The conference will consider all aspects of logic
programming, including, but not limited to:
Theory and Foundations
Architectures and Implementations
Programming Languages and Methodology
Databases
Knowledge Representation, Reasoning and Expert Systems
Relations to other computation models, programming
languages, and programming methodologies.
Of special interest are papers discussing novel applications
and applications that address the unique character of logic
programming.
Papers can be submitted under two categories, short - up to
2000 words, and long - up to 6000 words. Submissions will
be considered on basis of appropriateness, clarity,
originality, significance, and overall quality.
Authors should send six copies of their manuscript, plus an
extra copy of the abstract to:
Jean-Louis Lassez
ICLP Program Chairman
IBM T.J. Watson Research Center
H1-A12
P.O. Box 218
Yorktown Heights, NY 10598
USA
Deadline for submission of papers is December 1, 1986.
Authors will be notified of acceptance or rejection by
February 28, 1987. Camera ready copies are due April 1st,
1987.
General Chairman:
John Lloyd
Department of Computer Science
University of Melbourne
Parkville, Victoria 3052
Australia
Program Committee
Ken Bowen, Syracuse, USA
Keith Clark, Imperial College, U.K.
Jacques Cohen, Brandeis, USA
Veronica Dahl, Simon Fraser University, Canada
Maarten van Emden, University of Waterloo, Canada
Koichi Furukawa, ICOT, Japan
Ivan Futo, SZKI, Hungary
Seif Haridi, SICS, Sweden
Jean-Louis Lassez, Yorktown Heights, USA
Giorgio Levi, University of Pisa, Italy
Jacob Levy, Weizmann Institute, Israel
John Lloyd, University of Melbourne, Australia
Fumio Mizoguchi, Science University of Tokyo, Japan
Fernando Pereira, SRI International, USA
Antonio Porto, University of Lisbon, Portugal
Marek Sergot, Imperial College, U.K.
David Warren, Manchester University, U.K.
*** REPLACE THIS LINE WITH YOUR MESSAGE ***