🚀 go-pugleaf

-------

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