🚀 go-pugleaf

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