45th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2004)

October 17-19, 2004

The 45th Annual Symposium on Foundations of Computer Science (FOCS 2004), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Rome, ITALY, on October 17-19, 2004. Papers presenting original research on foundational aspects of computer science are sought. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, algorithmic graph theory and combinatorics, 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 2004 web site:

Important Dates:
Submission deadline:
Paper must be received by Friday April 9, 2004 (16:59 EDT) or postmarked by March 30, 2004.
Accept/reject decisions will be made by June 25, 2004.
Final versions:
Final versions of accepted papers due July 30, 2004.

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 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 are strongly encouraged to submit their extended abstracts electronically. A detailed description of the electronic submission process is available at:
Authors who are unable to submit electronically must send seventeen (17) printed copies (double-sided preferred) of an extended abstract, together with a cover letter, to:
Eli Upfal
FOCS 2004 Program Chair
Brown University, Dept. of Computer Science
Box 1910
Providence, RI 02912

To facilitate notification, authors submitting printed copies should also send an e-mail, to, indicating that they are submitting in this manner. The abstract, in either form, MUST be received by 16:59 EDT April 9, 2004 or postmarked by March 30, 2004. Late submissions will be rejected. Simultaneous submission of the same (or essentially the same) abstract to FOCS and to another conference with published proceedings is not allowed.

Authors will be sent notification of acceptance or rejection by e-mail on or before June 25, 2004. A final copy of each accepted paper is required by July 30, 2004. 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. This should be indicated through the electronic submission process or by email to the program chair. The program committee may decline to make the award, or may split it among several papers.

Program Committee:
Dimitris Achlioptas Microsoft Research
Micah Adler U. Massachusetts, Amherst
Eli Ben-Sasson Harvard
Faith Fich U. Toronto
Oded Goldreich Weizmann Institute
Martin Grohe Berlin Humboldt University
Sean Hallgren NEC Labs
Johan Håstad NADA
Giuseppe F. Italiano U. Roma
Vladlen Koltun U. California, Berkeley
Yuval Rabani Technion
Miklos Santha Paris-Sud U.
Leonard Schulman Caltech
Rocco Servedio Columbia
D. Sivakumar IBM Research
Eli Upfal (PC chair) Brown U.
David Williamson Cornell

Information about local arrangements can be obtained from the Local Arrangements Chair

Prof. Giuseppe F. Italiano
Dept. of Computer Science, Systems and Production
University of Roma ``Tor Vergata''
Via di Tor Vergata 110
00133 Rome, Italy


Dr. Camil Demetrescu
Dept. of Computer and Systems Science
University of Rome ``La Sapienza''
Via Salaria, 113
00198 Rome, Italy