MISRA@SU-SIERRA.ARPA (01/21/84)
From: Jayadev Misra <MISRA@SU-SIERRA.ARPA>
CALL FOR PAPERS
3rd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC)
Vancouver, Canada
August 27 - 29, 1984
This conference will address fundamental issues in the theory and
practice of concurrent and distributed systems. Original
research papers describing theoretical or practical aspects of
specification. design or implementation of such systems are
sought. Topics of interest include, but are not limited to, the
following aspects of concurrent and distributed systems.
. Algorithms
. Formal models of computations
. Methodologies for program development
. Issues in specifications, semantics and verifications
. Complexity results
. Languages
. Fundamental results in application areas such as
distributed databases, communication protocols, distributed
operating systems, distributed transaction processing systems,
real time systems.
Please send eleven copies of a detailed abstract (not a complete
paper) not exceeding 10 double spaced typewritten pages, by MARCH
8, 1984, to the Program Chairman:
Prof. J. Misra
Computer Science Department
University of Texas
Austin, Texas 78712
The abstract must include a clear description of the problem be-
ing addressed, comparisons with extant work and a section on ma-
jor original contributions of this work. The abstract must pro-
vide sufficient detail for the program committee to make a deci-
sion. Papers will be chosen on the basis of scientific merit,
originality, clarity and appropriateness for this conference.
Authors will be notified of acceptance by April 30, 1984. Ac-
cepted papers, typed on special forms, are due at the above ad-
dress by June 1, 1984. Authors of accepted papers will be asked
to sign ACM Copyright forms.
The Conference Chairman is Professor Tiko Kameda (Simon Fraser
University). The Publicity Chairman is Professor Nicola Santoro
(Carleton University). The Local Arrangement Chiarman is Profes-
sor Joseph Peters (Simon Fraser University). The Program Commit-
tee consists of Ed Clarke (C.M.U.), Greg N. Frederickson (Pur-
due), Simon Lam (U of Texas, Austin), Leslie Lamport (SRI Inter-
national), Michael Malcom (U of Waterloo), J. Misra, Program
Chairman (U of Texas, Austin), Hector G. Molina (Princeton), Su-
san Owicki (Stanford), Fred Schneider (Cornell), H. Ray Strong
(I.B.M. San Jose), and Howard Sturgis (Xerox Parc).