Skip to content

FOCS proceedings

IEEE Symposium on Foundations of Computer Science

Papers in 2025

136

Papers, all years

4,192

Years indexed

66

Since

1960

Papers in main proceedings (DBLP)

Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.

verified volumein progressnot yet verifiedClick a bar to open that year.

2025136 papers✓ verified

66th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2025, Sydney, Australia, December 14-17, 2025

Proceedings ↗DBLP ↗

Keywords

Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.

Loading keywords...

Year by year

YearPapers (DBLP)StatusRead the proceedings
136✓ verifiedProceedings ↗DBLP ↗
133✓ verifiedProceedings ↗DBLP ↗
142✓ verifiedProceedings ↗DBLP ↗
110✓ verifiedProceedings ↗DBLP ↗
118✓ verifiedProceedings ↗DBLP ↗
127✓ verifiedProceedings ↗DBLP ↗
92✓ verifiedProceedings ↗DBLP ↗
87✓ verifiedProceedings ↗DBLP ↗
90✓ verifiedProceedings ↗DBLP ↗
86✓ verifiedProceedings ↗DBLP ↗
86✓ verifiedProceedings ↗DBLP ↗
68✓ verifiedProceedings ↗DBLP ↗
79✓ verifiedProceedings ↗DBLP ↗
80✓ verifiedProceedings ↗DBLP ↗
88✓ verifiedProceedings ↗DBLP ↗
82✓ verifiedProceedings ↗DBLP ↗
73✓ verifiedProceedings ↗DBLP ↗
82✓ verifiedProceedings ↗DBLP ↗
66✓ verifiedProceedings ↗DBLP ↗
71✓ verifiedProceedings ↗DBLP ↗
72✓ verifiedProceedings ↗DBLP ↗
64✓ verifiedProceedings ↗DBLP ↗
64✓ verifiedProceedings ↗DBLP ↗
80✓ verifiedProceedings ↗DBLP ↗
65✓ verifiedProceedings ↗DBLP ↗
66✓ verifiedProceedings ↗DBLP ↗
67✓ verifiedProceedings ↗DBLP ↗
79✓ verifiedProceedings ↗DBLP ↗
63✓ verifiedProceedings ↗DBLP ↗
65✓ verifiedProceedings ↗DBLP ↗
73✓ verifiedProceedings ↗DBLP ↗
73✓ verifiedProceedings ↗DBLP ↗
74✓ verifiedProceedings ↗DBLP ↗
77✓ verifiedProceedings ↗DBLP ↗
86✓ verifiedProceedings ↗DBLP ↗
91✓ verifiedProceedings ↗DBLP ↗
99✓ verifiedProceedings ↗DBLP ↗
59✓ verifiedProceedings ↗DBLP ↗
55✓ verifiedProceedings ↗DBLP ↗
54✓ verifiedProceedings ↗DBLP ↗
61✓ verifiedProceedings ↗DBLP ↗
59✓ verifiedProceedings ↗DBLP ↗
60✓ verifiedProceedings ↗DBLP ↗
46✓ verifiedProceedings ↗DBLP ↗
51✓ verifiedProceedings ↗DBLP ↗
45✓ verifiedProceedings ↗DBLP ↗
43✓ verifiedProceedings ↗DBLP ↗
33✓ verifiedProceedings ↗DBLP ↗
31✓ verifiedProceedings ↗DBLP ↗
31✓ verifiedProceedings ↗DBLP ↗
28✓ verifiedProceedings ↗DBLP ↗
26✓ verifiedProceedings ↗DBLP ↗
25✓ verifiedProceedings ↗DBLP ↗
27✓ verifiedProceedings ↗DBLP ↗
27✓ verifiedProceedings ↗DBLP ↗
25✓ verifiedProceedings ↗DBLP ↗
26✓ verifiedProceedings ↗DBLP ↗
41✓ verifiedProceedings ↗DBLP ↗
35✓ verifiedProceedings ↗DBLP ↗
29✓ verifiedProceedings ↗DBLP ↗
32✓ verifiedProceedings ↗DBLP ↗
25✓ verifiedProceedings ↗DBLP ↗
13✓ verifiedProceedings ↗DBLP ↗
16✓ verifiedProceedings ↗DBLP ↗
26✓ verifiedProceedings ↗DBLP ↗
9✓ verifiedProceedings ↗DBLP ↗

Who publishes here

2024 to 2025 · papers count once per institution on them

Academia 89%Industry 2%Government and other 9%

Institutions

  1. 1Massachusetts Institute of Technology🇺🇸45
  2. 2Carnegie Mellon University🇺🇸24
  3. 3University of California, Berkeley🇺🇸24
  4. 4ETH Zurich🇨🇭22
  5. 5Princeton University🇺🇸16
  6. 6Stanford University🇺🇸16
  7. 7University of Michigan🇺🇸14
  8. 8Harvard University🇺🇸11
  9. 9Northeastern University🇺🇸8
  10. 10Tel Aviv University🇮🇱8
  11. 11Institute for Advanced Study🇺🇸7
  12. 12University of Waterloo🇨🇦7

Countries

  1. United States193
  2. Switzerland33
  3. Israel32
  4. Germany20
  5. Canada19
  6. United Kingdom18
  7. China14
  8. Denmark14
  9. India13
  10. Japan10

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.

Venues like FOCS

Closest by the phrases in their paper titles over the last five complete years.

  1. STOC ACM Symposium on the Theory of Computing0.55lower boundslowerboundshardnessconjecture
  2. SODA ACM-SIAM Symposium on Discrete Algorithms0.45boundslowertightlower boundsapproximation
  3. ICALP EATCS International Colloquium on Automata, Languages, and Programming0.44boundslower boundslowerapproximationtight
  4. CCC Computational Complexity Conference0.34lower boundslowerboundshardnessexpanders
  5. ESA European Symposium on Algorithms0.31lower boundsapproximationboundslowertight

Authors

From DBLP author lists of the main volume. Names appear as DBLP lists them.

Authors per paper

3.2 in 2025

1.02.23.41960: 1.11961: 1.51962: 1.31963: 1.21964: 1.31965: 1.61966: 1.51967: 1.71968: 1.41969: 1.61970: 1.31971: 1.61972: 1.51973: 1.51974: 1.71975: 1.81976: 1.91977: 1.51978: 1.61979: 1.81980: 1.51981: 1.61982: 1.81983: 1.81984: 1.91985: 2.01986: 2.01987: 2.11988: 2.21989: 1.91990: 2.41991: 2.21992: 2.31993: 2.11994: 2.31995: 2.21996: 2.21997: 2.21998: 2.21999: 2.42000: 2.52001: 2.12002: 2.32003: 2.62004: 2.52005: 2.72006: 2.42007: 2.52008: 2.62009: 2.52010: 2.42011: 2.82012: 2.52013: 2.72014: 2.72015: 2.82016: 2.82017: 2.72018: 3.02019: 3.02020: 3.22021: 3.02022: 3.12023: 3.22024: 3.22025: 3.219602025

Papers by an entirely new team

10% in 2025

0%42%84%1963: 31%1964: 80%1965: 63%1966: 66%1967: 29%1968: 44%1969: 54%1970: 68%1971: 33%1972: 48%1973: 64%1974: 62%1975: 46%1976: 32%1977: 48%1978: 36%1979: 37%1980: 36%1981: 33%1982: 37%1983: 23%1984: 27%1985: 23%1986: 22%1987: 27%1988: 17%1989: 27%1990: 16%1991: 21%1992: 25%1993: 19%1994: 12%1995: 19%1996: 17%1997: 21%1998: 22%1999: 16%2000: 11%2001: 17%2002: 15%2003: 5%2004: 11%2005: 9%2006: 15%2007: 14%2008: 7%2009: 19%2010: 10%2011: 8%2012: 20%2013: 13%2014: 12%2015: 10%2016: 12%2017: 10%2018: 13%2019: 9%2020: 10%2021: 15%2022: 10%2023: 8%2024: 12%2025: 10%19632025

Most published at FOCS

  1. Avi Wigderson1983 to 202444
  2. Noga Alon1984 to 202139
  3. Madhu Sudan1992 to 202534
  4. Christos H. Papadimitriou1979 to 202232
  5. Oded Goldreich1983 to 202128
  6. Baruch Awerbuch1985 to 200128
  7. Venkatesan Guruswami1998 to 202528
  8. Subhash Khot2001 to 202528
  9. Russell Impagliazzo1987 to 202527
  10. Zvi Galil1974 to 199526