[comp.lang.prolog] PROLOG Digest V5 #6

PROLOG-REQUEST@SCORE.STANFORD.EDU.UUCP (02/03/87)

PROLOG Digest            Tuesday, 3 Feb 1987        Volume 5 : Issue 6

Today's Topics:
       Announcements -   Call for Papers & J. Logic Programming
----------------------------------------------------------------------

Date: 27 Jan 87 02:34:50 GMT
From: Martin Freeman <labrea!cascade!mfreeman@decwrl.dec.com>  
Subject: Call for Papers --- ASPLOS-II

                           Call for Papers

       Second International Conference on Architectural Support
     for Programming Languages and Operating Systems (ASPLOS-II)

                         Rickey's Hyatt House
               Palo Alto, California, October 5-8, 1987

              Sponsored by ACM and IEEE Computer Society

This is a reprise of the highly successful symposium held in 1982.
Many of the ideas discussed at that time are now reaching the
marketplace.  This time, we intend to focus on experimental analyses
of architectures and performance evaluations of prototype systems,
including application- specific designs. The time is ripe to review
progress and identify future directions.

Full papers (approximately 5000 words) are solicited in:

* Language and OS-Influenced Processor Designs
* Architecture-Influenced Compiler and OS Design
* Experimental Analysis of Instruction Set and Other
  Architectural Design Choices
* Performance Evaluation of Prototype and Newly Available
  Commercial Systems

We also solicit short (1000 word) high quality technical abstracts on
innovative commercial and prototype systems that address topics of
relevance to this conference. Full presentations will be expected.

Five copies of submitted papers should be sent to the program chairman
at the address below, and will be accepted for evaluation until
February 1, 1987. Submissions will be read by members and designated
reviewers of the program committee:

Randy Katz,	U.C. Berkeley (chairman)
Forest Baskett, Silicon Graphics
David Ditzel,	AT&T Bell Laboratories
James Goodman,	University of Wisconsin
John Hennessy,	Stanford University
Edward McCreight, Xerox PARC
Steven Muchnick,Sun Microsystems
Richard Sites,  DEC Hudson
Alan Smith,     U.C. Berkeley
Chuck Thacker,  DEC Systems Res. Center
Philip Treleaven, University College London
Mario Tokoro,   Keio University

Authors will be notified of acceptance or rejection by May 15, 1987.
Accepted papers must be typed on special forms and received by the
program chairman by July 1, 1987.

A number of special activities are planned in conjunction with the
conference, including tutorials, invited papers, and a special journal
issue. The best submitted papers will be considered for publication in
this issue.

Program Chairman: Randy H. Katz, Computer Sciences Division,
		  U.C. Berkeley, Evans Hall, Berkeley, Ca  94720
		  randy@ucbarpa.berkeley.edu

General Chairman: Martin Freeman, Center for Integrated
		  Systems, Stanford University, Stanford, Ca  94305
		  mfreeman@sierra.stanford.edu

------------------------------

Date: 27 January 1987, 18:03:20 EST
From: Jean-Louis Lassez <JLL@ibm.com>
Subject: J. of Logic Programming

Please note that the submission procedures of the Journal Of Logic
Programming have been modified.  These changes were in order due to
the great number of submissions.  Papers from now on should be
submitted directly to the appropriate area editor, or, if in doubt to
the editor in chief.  The areas, and the addresses of the editors, are
as follows:

                             Area Editors
			     ------------



IMPLEMENTATION AND ARCHITECTURE		LANGUAGE AND SYSTEM DESIGN
D. H. D. Warren				E. Y. Shapiro
Dept. of Computer Science		Computer Science Dept.
University of Manchester		The Weizmann Institute of Science
Manchester M13 9PL			Rehovot 76100
England					Israel
				
THEORY					DATABASES
J. W. Lloyd				H. Gallaire
Dept. of Computer Science		E. C. R. C.
University of Melbourne			Arabellastrasse 17
Parkville, Victoria			3052D-8000 Munchen 81
Australia				West Germany

NATURAL AND FORMAL LANGUAGES		EDITOR-in-CHIEF
F. Pereira				Jean Louis Lassez
SRI International			IBM T. J. Watson Research Center
333 Ravenswood Avenue		        P.O. Box 218
Menlo Park, CA 94025			Yorktown Heights, NY 10598
U.S.A.					U.S.A.	

KNOWLEDGE REPRESENTATION, REASONING AND EXPERT SYSTEMS
K. Kahn
Intelligent Systems Laboratory
Xerox Palo Alto Research Center
3333 Coyote Hill Rd.
Palo Alto, CA 94304
U.S.A.
                    
------------------------------

End of PROLOG Digest
********************