The 48th Annual Symposium on Foundations of Computer Science
(FOCS 2007), sponsored by the IEEE Computer Society Technical
Committee on Mathematical Foundations of Computing, will be held in
October 21-23, 2007. Papers presenting new and original
research on theory of computation are sought.
Typical but not exclusive topics of interest include:
algorithms and data structures, computational complexity, cryptography,
computational geometry, computational game theory, algorithmic graph theory and combinatorics,
randomness in computing, parallel and distributed computing, machine learning, applications
of logic, algorithmic algebra and coding theory, theoretical aspects
of databases, information retrieval, networks, computational biology,
robotics, and quantum computing. More information on the conference
is available on the FOCS 2007 web site:
- Important Dates:
- Submission deadline:
- Submissions must be received by Friday April 20, 2007 (19:59 EDT).
- Accept/reject decisions will be made by July 1, 2007.
- Final versions:
- Final versions of accepted papers are due August 10, 2007.
- Abstract format:
- Authors should submit an extended abstract (not a full paper). The
submission should contain a scholarly exposition of ideas, techniques,
and results, including motivation and a clear comparison with related
work. The length should not exceed ten (10) letter-sized pages (not
including the bibliography and figures) using 11-point or larger font,
with ample spacing and 1-inch margins all around. More details may be given
in an appendix, but any material beyond the 10-page limit may be ignored
at the discretion of the Program Committee. Abstracts deviating
significantly from these guidelines risk rejection without consideration
of their merits.
- Abstract submission:
- Authors must submit their extended abstracts electronically.
The electronic submission server is at
The abstract MUST be received by 19:59 EDT, April 20, 2007.
Late submissions will not be considered.
Simultaneous submission of the same (or essentially the same)
abstract to FOCS and to another conference with published proceedings is
- Authors will be sent notification of acceptance or rejection by email
on or before July 1, 2007. A final copy of each accepted paper is required by
August 10, 2007. Again this is a firm deadline. An author of
each accepted paper must attend the symposium and present the paper, or
make alternative arrangements to have it presented.
- Machtey award:
- This prize will be given to the best paper written
solely by one or more students. An abstract is eligible if all authors
are full-time students at the time of submission.
To indicate that a submission is eligible, please add the phrase "Eligible for best
student paper" as the last sentence in the "Abstract" field in the web form on the
The program committee may decline to make the award, or
may split it among several papers.
- Program Committee Chair:
- Alistair Sinclair, University of California, Berkeley. Contact email:
- Program Committee:
||University of California, Santa Cruz
||University of Waterloo
||Institute for Advanced Study
||University of Toronto
||University of Texas, Austin
|James R. Lee
||University of Washington
||University of California, San Diego
||Carnegie Mellon University
||Steklov Institute and Institute for Advanced Study
||University of Michigan
|Alistair Sinclair (chair)
||University of California, Berkeley
||University of California, Berkeley
||Tel Aviv University
- Local arrangements:
- Information about local arrangements can be obtained from the main conference
web page at
http://www.focs2007.cs.brown.edu/ or from the Local Arrangements Chairs:
Philip Klein, Anna Lysyanskaya, and Claire Mathieu
Box 1910, Computer Science Department
Providence, RI 02912
Last modified 2/5/2007