From: gil@CC.GATECH.EDU ("", Gil Neiger)
Newsgroups: comp.theory
Subject: PODC 93 Call for Papers (Plain Format)
Date: 7 Oct 92 04:53:26 GMT
Reply-To: "(Gil Neiger)" <gil@cc.gatech.edu>
Organization: College of Computing, Georgia Institute of Technology


                       CALL FOR PAPERS
Date: Tue, 6 Oct 1992 20:25:00 GMT
Apparently-To: info-theorynt@gatech.edu

Twelfth Annual ACM Symposium on Principles of Distributed Computing
                         (PODC '93)

                     August 15-18, 1993
                   Ithaca, New York, USA

Original research contributions are sought  that  address  fundamental
issues  in  the theory and practice of distributed and concurrent sys-
tems. Specially sought are papers that illuminate connections  between
practice  and theory.  Topics of interest include, but are not limited to:

        Distributed algorithms and complexity
        Network protocols and architectures
        Multiprocessor algorithms and architectures
        Distributed operating systems principles
        Concurrency control and synchronization
        Issues of asynchrony, synchrony, and real time
        Fault tolerance
        Cryptography and security
        Specification, semantics, and verification

Please send 12 copies of a detailed abstract (not the complete  paper)
with  the  postal address, e-mail address, and telephone number of the
contact author, to the program chair:

        Sam Toueg
        4106 Upson Hall
        Computer Science Department
        Cornell University
        Ithaca, New York 14853-7501
        E-mail: podc93@cs.cornell.edu

The abstract must provide sufficient detail to allow the program  com-
mittee to assess the merits of the paper.  It should include appropri-
ate references and comparisons to related  work.   It  is  recommended
that each submission begin with a succinct statement of the problem, a
summary of the main results, and a brief explanation of their signifi-
cance  and  relevance  to  the  conference,  all  suitable  for a non-
specialist.  Technical development of the work, directed to  the  spe-
cialist,  should follow.  Submitted abstracts should be no longer than
4,500 words (roughly 10 pages).  If  the  authors  believe  that  more
details  are  essential  to substantiate the main claims of the paper,
they may include a clearly marked appendix that will be  read  at  the
discretion  of  the  program  committee.   It  is  understood that the
research reported in  the  abstract  is  original,  and  is  submitted
exclusively to this conference.

To be considered by the  committee,  abstracts  must  conform  to  the
guidelines  and  be received by 5 February 1993.  This is a firm dead-
line.  Acceptance  notification  will  be  sent  by  April  16,  1993.
Camera-ready versions of accepted papers will be due May 14, 1993.

Program Committee:

        Ken Birman, Cornell University
        Cynthia Dwork, IBM Almaden Research Center
        Vassos Hadzilacos, University of Toronto
        Joseph Halpern, IBM Almaden Research Center
        Shay Kutten, IBM T.J. Watson Research Center
        Kai Li, Princeton University
        Gil Neiger, Georgia Institute of Technology
        David Peleg, The Weizmann Institute
        Nir Shavit, Tel-Aviv University
        Sam Toueg, Cornell University
        Shmuel Zaks, Technion

Conference Chair: James Anderson, University of Maryland

Local Arrangements Chair: Aleta Ricciardi, Cornell University
(local-podc93@cs.cornell.edu)

Conference Sponsored by ACM SIGACT and SIGOPS.
Xref: sparky comp.theory:2191 sci.math:13214 sci.math.symbolic:2719