arvind@utcsri.UUCP (Arvind Gupta) (01/19/87)
From: Dave Bray <bray%clutx.BITNET@wiscvm.wisc.edu>
Subject: CALL FOR PAPERS - FOCS
CALL FOR PAPERS
28th FOCS Symposium
The 28th Annual IEEE Symposium on Foundations of Computer Science will be
held at the Marina Beach Hotel in Los Angeles, California on October 12--14,
1987. The Symposium is sponsored by the IEEE Computer Society's Technical
Committee on Mathematical Foundations of Computing in cooperation with the
University of Southern California.
Papers presenting original research on theoretical aspects of computer
science are being sought. Suggested topic areas include:
Algorithms and Data Structures
Computability and Complexity Theory
Cryptography
Data Bases
Formal Languages and Automata
Logic of Programs
Parallel and Distributed Computing
Robotics and Machine Learning
Semantics of Programming Languages
VLSI Computation and Design
Persons wishing to submit a paper should send 15 copies of a detailed
abstract by APRIL 6, 1987 to the Program Committee Chair:
Tom Leighton
Room 2-377
Department of Mathematics
Massachusetts Institute of Technology
Cambridge, MA 02139
Authors will be notified of acceptance or rejection by June 8, 1987. A
final copy of each accepted paper, typed on special forms for inclusion in the
Symposium Proceedings, will be due by July 27, 1987.
IMPORTANT. Because of the large number of submissions anticipated, authors
are advised to prepare their abstracts carefully and to submit them on time. In
order to be considered, an abstract must be airmail postmarked by April 6, 1987
or be received by April 13, 1987. THESE DEADLINES WILL BE STRICTLY ENFORCED.
Additions and/or revised abstracts received after these deadlines will not be
considered.
Submission Format. To facilitate reading by the program committee, it is
strongly recommended that each submission begin with a succinct statement of the
problems that are considered in the paper, the main results that are achieved,
and an explanation of the significance of the work as well as its relevance to
past research. This material should be readily understandable by non-
specialists. Technical development of the work, directed to the specialist,
should follow as appropriate. The entire extended abstract should not exceed
2,500 words (10 double-spaced pages). NOTE: Papers that deviate significantly
from these guidelines risk rejection without consideration of their merits.
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. If submissions warrant, the committee will compose a
program of parallel sessions.
Machtey Award for Best Student Paper. This award of up to $400, to help
defray 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.
Program Committee Chair Program Committee
Tom Leighton Laszlo Babai Paris Kanellakis
Rm. 2-377 Michael Ben-Or Rao Kosaraju
Department of Mathematics Michael Fischer Michael Paterson
Massachusetts Institute of Technology Shafi Goldwasser Robert Tarjan
Cambridge, MA 02139 Leo Guibas Uzi Vishkin
Joseph Halpern
Conference Chair Local Arrangements Chairs
Ashok Chandra Seymour Ginsburg and Ming-Deh Huang
IBM T. J. Watson Research Center Computer Science Department
P.O. Box 218 University of Southern California
Yorktown Heights, NY 10598 Los Angeles, CA 90089