Conference Information
FOCS 2025: IEEE Symposium on Foundations of Computer Science
https://focs.computer.org/2025/
Submission Date:
2025-04-03
Notification Date:
2025-07-08
Conference Date:
2025-12-14
Location:
Sydney, Australia
Years:
66
CCF: a   CORE: a*   QUALIS: a1   Viewed: 244071   Tracked: 49   Attend: 6

Call For Papers
The 66th Annual Symposium on Foundations of Computer Science (FOCS 2025), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in Sydney, Australia, December 14-17. Information about previous conferences can be found at the FOCS Conference Archive.

Papers presenting new and original research on theory of computation are sought. Typical but not exclusive topics of interest include: algorithmic coding theory, algebraic computation, algorithmic graph theory, algorithmic game theory, algorithms and data structures, analysis of Boolean functions, approximation algorithms, average-case complexity, computational applications of logic, combinatorics, computational complexity, communication complexity, circuit complexity, combinatorial optimization, computational game theory, computational geometry, computational learning theory, continuous optimization, cryptography, foundations of machine learning, online algorithms, optimization, parallel and distributed algorithms, parameterized algorithms, randomized algorithms, sublinear algorithms, streaming algorithms, quantum computing, pseudorandomness and derandomization, foundations of fairness and privacy, and theoretical aspects of areas such as networks, 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. 
Last updated by Dou Sun in 2025-04-02
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
202039912731.8%
20193189228.9%
20183208626.9%
20173239027.9%
20163078527.7%
20153148627.4%
20142736824.9%
20132817928.1%
20122487931.9%
20112928529.1%
20102708130%
20092497530.1%
20082767928.6%
20073026621.9%
20062407129.6%
20052726222.8%
Best Papers
YearBest Papers
2023The Subspace Flatness Conjecture and Faster Integer Programming
2023Strong Bounds for 3-Progressions
2022Maximum Flow and Minimum-Cost Flow in Almost-Linear Time
2022Negative-Weight Single-Source Shortest Paths in Near-Linear Time
2021Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
2020A New Minimax Theorem for Randomized Algorithms
2020Edge-Weighted Online Bipartite Matching
2020An Equivalence Between Private Classification and Online Prediction
2019Efficient Construction of Rigid Matrices Using an NP Oracle
2019Lower bounds for maximal matchings and maximal independent sets
2019NEEXP ⊆ MIP*
2019Automating Resolution is NP-Hard
2019Faster Minimum k-cut of a Simple Graph
2018Pseudorandom Sets in Grassmann Graph have Near-Perfect Expansion
2018Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time
2018Classical Verification of Quantum Computation
2017The Proof of CSP Dichotomy Conjecture
2017The Matching Problem in General Graphs is in Quasi-NC
2017A dichotomy theorem for nonuniform CSPs
2016Settling the Complexity of Computing Approximate Two-Player Nash Equilibria
2016Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning
2015An average-case depth hierarchy theorem for Boolean circuits
2014Path Finding Methods for Linear Programming: Solving Linear Programs in O(sqrt(rank)) Iterations and Faster Algorithms for Maximum Flow
2013Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back
2012A Polylogarithimic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2
2012A multi-prover interactive proof for NEXP sound against entangled provers
2011Approximating Graphic TSP by Matchings
2011A Randomized Rounding Approach to the Traveling Salesman Problem
20113-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
2011A Polylogarithmic-Competitive Algorithm for the k-Server Problem
2010Approximation Algorithms for the Edge-Disjoint Paths Problem via Raecke Decompositions
2010Subexponential Algorithms for Unique Games and Related Problems
2010Computational Transition at the Uniqueness Threshold
2008Two Query PCP with Sub-Constant Error
2007Space-Efficient Identity Based EncryptionWithout Pairings
2006Settling the Complexity of 2-Player Nash Equilibrium
2005Correcting Errors Beyond the Guruswami-Sudan Radius in Polynomial Time
2005The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type Metrics into l1
2004Hardness of Approximating the Shortest Vector Problem in Lattices
2004Cryptography in NC0
2003On the Impossibility of Dimension Reduction in l1
2002A Dichotomy Theorem for Constraints on a Three-Element Set
2002Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model
2002Minimizing Congestion in General Networks
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
caa2STACSInternational Symposium on Theoretical Aspects of Computer Science2025-09-252025-12-122026-03-10
bb1SOFSEMInternational Conference on Current Trends in Theory and Practice of Computer Science2025-09-152025-11-102026-02-09
cb2CloudComInternational Conference on Cloud Computing Technology and Science2025-08-152025-10-042025-11-14
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
cab1MFCSInternational Symposium on Mathematical Foundations of Computer Science2024-04-262024-06-242024-08-26
ab1WGInternational Workshop on Graph-Theoretic Concepts in Computer Science2019-02-192019-04-192019-06-19
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
aITCS''Innovations in Theoretical Computer Science2017-09-082017-10-302018-01-11