sipser@ARTIN.MIT.EDU (01/04/91)
Call For Papers
1991 IEEE Symposium on
Foundations of Computer Science
The 32nd 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
San Juan, Puerto Rico on October 2-4, 1991.
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 16 copies of an extended abstract
(not a full paper) by April 3, 1991 to the Program Committee chair:
Michael Sipser
Laboratory for Computer Science
545 Technology Square
M.I.T.
Cambridge, MA 02139
Submissions or revisions received after April 3, 1991 will not be
considered, unless sent airmail and postmarked no later than March 27.
Authors will be notified of acceptance or rejection by June 5, 1991.
A camera ready copy of each accepted paper, prepared in a special format
for inclusion in the Symposium proceedings, will be due by July 17, 1991.
Simultaneous submission of essentially the same abstract to FOCS and to
another conference with published proceedings is not allowed.
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 text of the extended abstract must not exceed 3,500 words. Additional
material may be placed in a clearly marked appendix, which will be read at
the discretion of the program committee. The title page should include
the contact author's name, address, phone number, and e-mail address if
available. 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: Local Arrangements Chairs:
Christos Papadimitriou Tom Leighton Alok Aggarwal
EE&CS Department Lab for Computer Science IBM Watson Research Center
U.C. San Diego M.I.T. P.O. Box 218
La Jolla, CA 92037 Cambridge, MA 02139 Yorktown Heights, NY 10598
Program Committee:
Ravi Boppana Maria Klawe Charles Rackoff
Michael Fredman Jeffrey Lagarias Prabhakar Raghavan
Andrew Goldberg John Mitchell John Reif
Richard Karp Noam Nisan Raimund Seidel
Michael Kearns David Peleg Michael Sipser