Call For Papers
 
 
                       1990 IEEE Symposium on
                    Foundations of Computer Science
 
The 31st Annual IEEE Symposium on Foundations of Computer Science,
sponsored by the Computer Society's Technical Committee on
Mathematical Foundations of Computing, will be held in
St. Louis, Missouri on October 22-24, 1990.
Papers presenting original research on theoretical aspects of computer
science are sought.  Topics include but are not limited to the following:
 
Algorithms and Data Structures        Databases
Automata and Formal Languages         Logic and Semantics of Programs
Computability and Complexity Theory   Machine Learning
Computational Geometry and Robotics   Parallel and Distributed Computation
Cryptography                          VLSI Computation and Design
 
Authors are requested to send 15 copies of an extended abstract
(not a full paper) by April 24, 1990 to the Program Committee chair:
 
                     Mihalis Yannakakis
                     Room 2C-319
                     AT&T Bell Laboratories
                     600 Mountain Avenue
                     Murray Hill, NJ 07974
 
Submissions or revisions received after April 24, 1990 will not be considered.
Authors will be notified of acceptance or rejection by June 25, 1990.
A camera ready copy of each accepted paper, prepared in a special format
for inclusion in the Symposium proceedings, will be due by August 10, 1990.
 
Simultaneous submission of the same abstract to FOCS and to another
conference with published proceedings is not allowed.
The only exception is the COLT'90 workshop, where dual
submission is governed by a separate agreement.
 
Submission format: An abstract should start with a succinct statement of
the problem, the main results achieved, an explanation of their
significance, and a comparison to previous work.  This material should be
readily understandable to non-specialists. Technical development,
directed toward the specialist, should follow as appropriate.
The entire extended abstract must not exceed 2500 words or
10 double-spaced pages.  Abstracts deviating significantly from these
guidelines will not be considered.
 
Meeting format: Authors of accepted papers will be expected to present
their work at the Symposium.  The format of the meeting, including time
allocations for presentations and scheduling of sessions, will be
determined by the Program Committee.  The Program Committee plans to accept
again this year more papers and compose a program of parallel sessions,
if warranted by the quality of the submitted papers.
 
Machtey Award for Best Student Paper: This award of up to $400, to help
defray the expenses for attending the Symposium, will be given for that
paper which the Program Committee judges to be the most outstanding paper
written solely by a student or students.  To be considered for the award,
an abstract must be accompanied by a letter identifying all authors as
full-time students at the time of submission.  At its discretion, the
Committee may decline to make the award or may split the award among two
or more papers.
 
Conference Chair:       Program Committee Chair:  Local Arrangements Chair:
Christos Papadimitriou  Mihalis Yannakakis        Jonathan Turner
EE&CS Department        AT&T Bell Laboratories    Computer Science Dept.
U.C. San Diego          600 Mountain Avenue       Washington University
La Jolla, CA 92037      Murray Hill, NJ07974      St. Louis, MO 63130
 
 
                        Program Committee:
 
Don Coppersmith         Richard Ladner             Larry Stockmeyer
David Dobkin            Michael Luby               Moshe Vardi
Greg Frederickson       Gary Miller                Vijay Vazirani
David Haussler          Vijaya Ramachandran        Jeff Vitter