The 63rd Annual Symposium on Foundations of Computer Science (FOCS 2022), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Denver, Colorado October 31—November 3, 2022.

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 learning theory, computational game theory, foundations of machine learning, parallel and distributed algorithms, quantum computing, computational geometry, computational applications of logic, algorithmic graph theory and combinatorics, optimization, randomness in computing, approximation algorithms, algorithmic coding theory, algebraic computation, and theoretical aspects of areas such as networks, privacy, information retrieval, computational biology, and databases. Papers that broaden the reach of the theory of computing, or raise important problems that can benefit from theoretical investigation and analysis, are encouraged.

Submission format:

Submissions should start with a title page consisting of the title of the paper, and an abstract of 1-2 paragraphs summarizing the paper's contributions. FOCS 2022 will use double-blind reviewing, and as such submissions should not reveal the identity of the authors in any way. In particular, authors' names, affiliations, and email addresses should not appear at the beginning or in the body of the submission, and authors should ensure that any references to their own related work are in the third person. There is no page limit and authors are encouraged to use the "full version" of their paper as the submission. The submission should contain within the initial ten pages following the title page a clear presentation of the merits of the paper, including a discussion of the paper's importance within the context of prior work and a description of the key technical and conceptual ideas used to achieve its main claims. The submission should be addressed to a broad spectrum of theoretical computer science researchers. Proofs must be provided which can enable the main mathematical claims of the paper to be fully verified. Although there is no bound on the length of a submission, material other than the abstract, references, and the first ten pages will be read at the committee's discretion. Authors are encouraged to put the references at the very end of the submission. The submission should be typeset using 11-point or larger fonts, in a single-column, single-space (between lines) format with ample spacing throughout and 1-inch margins all around, on letter-size (8 1/2 x 11 inch) paper. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits.

Submissions by PC members are allowed but will be measured against a higher bar. If any of the authors of a submission is a PC member, this should be indicated in the submission form by checking the corresponding box.

Rebuttals:

Preliminary reviews will be released to authors during the review process, and authors will have approximately five days to write and submit rebuttals (see important dates above). Rebuttals should be used to address factually incorrect statements or major misunderstandings in reviews, or to address questions related to correctness. It is perfectly acceptable, and encouraged, to not submit a rebuttal outside of such circumstances.