Call For Papers: 1992 Symposium on Foundations of Computer Science
 
The Thirty-third Annual Symposium on Foundations of Computer
Science (FOCS), sponsored by the IEEE Computer Society Technical
Committee on Mathematical Foundations of Computing, will be held
in Pittsburgh, Pennsylvania, October 25-27, 1992.
Papers presenting original research on theoretical aspects of computer
science are sought.  Typical but not exclusive topics of interest include:
algorithms and data structures, automata and formal languages,
computability and complexity, computational geometry, cryptography,
databases, logics of programs, machine learning, parallel and distributed
computation, robotics, semantics of programming languages,
VLSI layout and design.
 
Abstract submission: Authors are requested to send sixteen copies
(two sided copies is strongly suggested) of a detailed abstract
(not a full paper) to be received by Wednesday, April 29, 1992 to:
 
                         Michael Luby
                         FOCS 92 Program Chair
                         International Computer Science Institute
                         1947 Center Street
                         Berkeley, CA 94704-1105 USA
 
Authors from locations where access to reproduction facilities is
severely limited may submit a single copy of their abstract.  An
abstract should start with a succinct statement of the problem, the
results achieved, their significance and a comparison with previous
work. This material should be understandable to nonspecialists. A
technical exposition directed to the specialist should follow. The
length, excluding cover page and bibliography, should not exceed 10
pages.  The typeset should be easy to read, preferably using
11 point font size (and a minimum of 10 point) with margins on all four
sides of at least 1 1/2 inches per side on U.S. standard 8 1/2 by 11
inch paper (Authors from other countries can deviate from these
guidelines but should adhere to the spirit of readability).
If authors believe that more details are necessary 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.
If available, an e-mail address for the contact author should be included.
An abstract deviating significantly from these guidelines will be
rejected without consideration of its merits.
 
 
An abstract must be received by April 29 (or postmarked by April 17
and sent airmail).  This is a firm deadline. Simultaneous
submission of the same abstract to FOCS and to another conference with
published proceedings is not allowed.
 
 
Notification: Authors will be notified of acceptance or rejection by
a letter mailed on or before July 1, 1992. A final copy of each
accepted paper is required by August 19, 1992. Again this is a firm
deadline. The copy may be either on special forms, which will be sent
to the authors, or typeset on 8 1/2 by 11 inch pages. The authors
of each accepted paper must attend the Symposium and present their paper,
or make alternative arrangements to have their paper presented.
 
Machtey award: This prize will be given to the best paper
written solely by one or more students. An abstract is
eligible if all authors are full-time students at the time of
submission. This should be indicated in the submission letter. The
program committee may decline to make the award or may split it among
several papers.
 
 
Committee members: The program committee consists of
Paul Beame, Allan Borodin, Anne Condon, Cynthia Dwork,
Harold Gabow, Russell Impagliazzo, Ravi Kannan, Nati Linial,
Michael Luby, Milena Mihail, Gary Miller, David Peleg, Ron Rivest,
Micha Sharir, Moshe Vardi
 
 
Information about local arrangements can be obtained from the
Local Arrangements Chairman:
 
                    Gary Miller
                    School of Computer Science
                    Carnegie Mellon University
                    Pittsburgh, PA  15213-3890