HALPERN@IBM-SJ.ARPA (11/19/85)
CALL FOR PAPERS:
5th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
(PODC)
Calgary, Alberta, Canada
August 11-13, 1986
Original research contributions are sought that address fundamental
issues in the theory and practice of distributed and concurrent systems.
Topics of interest include, but are not limited to,
the following aspects of concurrent and distributed systems:
* Principles of distributed computation derived from
practical experience with working systems
* Algorithms and complexity
* Specification, semantics, and verification
* Programming languages and programming language constructs
* Fault tolerance
Important Dates:
Jan. 31, 1986: Abstracts due
Apr. 11, 1986: Authors informed of acceptance or rejection
May 16, 1986: A final copy of each accepted paper due, typed on special
forms for inclusion in the conference proceedings
Please send ELEVEN copies of a detailed abstract
(not the complete paper), with the address,
telephone number, and NET ADDRESS (if available) of a
contact author on the cover page, to the program chair:
Dr. J. Halpern
Department K53/801
IBM Almaden Research Center
650 Harry Road
San Jose, CA 95120-6099
The abstract should be no more than 10 DOUBLE-SPACED TYPEWRITTEN PAGES.
It must include a clear description of the problem being discussed,
comparisons with extant work, and a section on major original
contributions. There should be enough detail provided for the
program committee to make a decision.
SUBMISSIONS ARRIVING LATE OR DEPARTING SIGNIFICANTLY FROM THESE
GUIDELINES RISK REJECTION WITHOUT CONSIDERATION OF THEIR MERITS.
The Program Committee consists of:
David Cheriton, Stanford
Cynthia Dwork, IBM Almaden
Nissim Francez, Technion
Hector Garcia-Molina, Princeton
Joseph Halpern, IBM Almaden
Butler Lampson, DEC
Richard Ladner, U. of Washington
Paul Leach, Apollo Computer, Inc.
Michael Merritt, AT&T Bell Laboratories
Doron Rotem, Waterloo University/Lawrence Berkeley Labs
Sam Toueg, Cornell
Conference Chair: Ernest Chang, Alberta Research Council
Publicity Chair: Tiko Kameda, Simon Fraser University