November 16-19, 2020
Pre-registration Deadline (including titles and abstracts):
11:59PM EDT, April 9, 2020
Paper Submission Deadline: 11:59PM EDT, April 15, 2020
The 61st Annual Symposium on Foundations of Computer Science (FOCS 2020), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Durham, North Carolina, on November 16-19 (Monday through Thursday).
The conference seeks papers presenting new and original research on the theory of computation. Typical but not exclusive topics of interest include:
- Algorithms and data structures,
- Computational complexity, cryptography,
- Computational learning theory,
- Economics and computation,
- 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.
We encourage papers that broaden the reach of the theory of computing, or raise important problems that can benefit from theoretical investigation and analysis.
- Pre-registration Deadline (including titles and abstracts): 11:59pm EDT, April 9, 2020.
- Paper Submission Deadline: 11:59pm EDT, April 15, 2020.
- Notification: by July 9, 2020.
- Final version of accepted papers due: 11:59pm EDT, September 11, 2020.
Submissions should start with a title page consisting of the title of the paper; each author’s name, affiliation, and email address; and an abstract of 1-2 paragraphs summarizing the paper’s contributions.
There is no page limit and the authors are encouraged to use a full version of their paper as the submission. The submission must contain within its first ten pages (after the title page) a clear presentation of the merits of the paper, including a discussion of its importance, prior work, and an outline of key technical ideas and methods used to achieve the main claims. This part of the submission should be addressed to a broad spectrum of theoretical computer scientists, not solely to experts in the subarea.
The submission should include proofs of all central claims. Although there is no bound on the length of a submission, material other than the title page, 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. Submissions deviating significantly from these guidelines risk rejection without consideration of their merits.
All submissions will be treated as confidential, and will only be disclosed to the committee and their chosen sub-referees. In addition, the program committee may consult with journal editors and program chairs of other conferences about controversial issues such as parallel submissions.
Authors are required to submit their papers electronically, in PDF (without security restrictions on copying or printing). Submissions will be judged solely on the basis of the paper submitted by the deadline; post-deadline revisions will not be allowed.
When you register your submission, you will, among other things, have to register an abstract in plain text. This abstract plays a prominent role in the evaluation process, e.g., it is displayed when the paper is discussed. It is therefore advised that you make sure that the plain text abstract reads well.
We will be implementing the same conflict of interest policy as FOCS 2019. Click here for details.
Submit your paper at the FOCS 2020 Submission Server here.
Authors are encouraged to post full versions of their submissions in a freely accessible online repository such as the arxiv, the ECCC, or the Cryptology ePrint archive. (Papers that are not written well enough for public dissemination are probably also not ready for submission to FOCS.) We expect that authors of accepted papers will make full versions of their papers, with proofs, available before the conference begins. (This should be done in a manner consistent with the IEEE Copyright Policy.)
Prior and simultaneous submission:
Work that has been previously published in another conference proceedings or journal, or which has a chance of being published before the end of the conference, will not be considered for acceptance at FOCS 2020. Simultaneous submission of the same (or essentially the same) extended abstract to FOCS 2020 and to another conference with published proceedings is not allowed. The only exceptions to this policy are prior or simultaneous publications appearing in the journals Science and Nature. If there are other submissions/publications with substantial overlap, then this should be disclosed on the title page.
The Machtey award will be given to the best paper or papers written solely by one or more students. An abstract is eligible if all authors are full-time students at the time of submission. Eligibility should be indicated at the time of submission. All submissions are eligible for the Best Paper award. The committee may decide to split the awards between multiple papers, or may decline to make an award.
Presentation of Accepted Papers:
One author of each accepted paper will be expected to present the work at the conference.
|Dan Alistarh||IST Austria|
|Paul Beame||University of Washington|
|Clement Canonne||IBM Research|
|Nikhil R Devanur||Amazon|
|Jugal Garg||University of Illinois at Urbana-Champaign|
|Elena Grigorescu||Purdue University|
|Sungjin Im||UC Merced|
|Nicole Immorlica||Microsoft Research|
|Sandy Irani (chair)||UC Irvine|
|Ken-ichi Kawarabayashi||National Institute of Informatics|
|Alexandra Kolla||University of Colorado Boulder|
|Robin Kothari||Microsoft Quantum|
|Michal Koucky||Charles University|
|Fabian Kuhn||University of Freiburg|
|Yi Li||Nanyang Technological University|
|Tal Malkin||Columbia University|
|Dániel Marx||Max Planck Institute for Informatics|
|Milena Mihail||UC Irvine|
|Shay Mozes||The Interdisciplinary Center (IDC), Herzliya|
|Omer Paneth||Tel-Aviv University|
|Andrej Risteski||Carnegie Mellon University|
|Srikanth Srinivasan||IIT, Bombay|
|Madhu Sudan||Harvard University|
|Li-Yang Tan||Stanford University|
|Paul Valiant||Brown University|
|John Wright||Caltech and UT Austin|
- General Chair: Yuval Rabani (HUJI, The Hebrew University of Jerusalem), email: firstname.lastname@example.org.
- Program Chair: Sandy Irani (UC Irvine), email: email@example.com.
- Local Arrangements Chairs: Kamesh Munagala (Duke), email: firstname.lastname@example.org. Debmalya Panigrahi (Duke), email: email@example.com.
- ToC Advocates (for harassment issues): Erin Chambers, email: firstname.lastname@example.org and Martin Farach-Colton, Rutgers University, email: email@example.com