arvind@utcsri.UUCP (08/04/87)
Date: Fri, 31 Jul 87 10:49:53 PDT
From: Jeff Ullman <ullman@navajo.stanford.edu>
Subject: STOC CALL FOR PAPERS
CALL FOR PAPERS
1988 ACM SYMPOSIUM ON
THEORY OF COMPUTING
The Twentieth Annual ACM Symposium on Theory of Computing,
sponsored by the ACM Special Interest Group for Automata and
Computability Theory, will be held in Chicago, Ill., May 2-
-4, 1988. Papers presenting original research on theoreti-
cal aspects of Computer Science are sought. Typical, but
not exclusive, topics of interest include the theories of:
Algorithms and data structures
Logics of programs
Computability and complexity
Parallel and distributed computation
Computational geometry
Robotics
Cryptography
Semantics of programming languages
Databases and knowledge bases
VLSI, layout, and logical design
Submission of Abstracts
Authors are requested to send ten copies of a detailed
abstract (not a full paper) by Nov. 1, 1987 to the program
committee chairman:
Jeffrey D. Ullman
Dept. of Computer Science, Bldg. 460
Stanford Univ.
Stanford, CA 94305
The abstract must provide sufficient detail to allow the
program committee to assess the merits of the paper and
should include appropriate references to and comparisons
with extant 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 the signifi-
cance and relevance to computing of the work, all suitable
for a nonspecialist. Technical development of the work,
directed to the specialist, should follow. A limit of
12,000 bytes (about 10 typed, double-spaced pages) is placed
on submissions.
Abstracts that deviate significantly from these guidelines,
risk rejection without consideration of their merits. Also,
abstracts that are not postmarked by the Nov. 1 deadline
will not be considered.
The program committee consists of Richard Cole, Herbert
Edelsbrunner, Ron Fagin, Greg Frederickson, Nancy Lynch,
Andrew Odlyzko, John Reif, Martin Tompa, Jeff Ullman, and
Andy Yao.
Authors will be notified of acceptance or rejection by Jan.
7, 1988. A copy of each accepted paper is required by Feb.
22, 1988. These copies may be either on special forms
(model pages), which will be sent to the authors, or typeset
as reduced-size (8.5 by 11) model pages. Authors who do not
need the model pages are requested to make note of that fact
in the letter of submittal.
Local Arrangements
Information about local arrangements can be obtained from
the conference chairman:
Janos Simon
Dept. of Computer Science
Univ. of Chicago
Chicago, IL 60637