Site information
Terms of Service for Future of CS Theory
Terms for reading and reusing this site, including what the ledger does and does not assert, how its data may be used, and how third-party names appear.
Last checked:
What the site asserts
Future of CS Theory records public statements with dates and sources. It does not assert that any proof, algorithm or formalization is correct or incorrect. A status can change at any time, so check the last-checked date and the linked source before relying on a row.
Not advice
The career page collects data and named views. It is not academic, career or financial advice, and it does not promise any outcome.
Reuse
You may reuse the ledger's facts and its JSON file with a link back. Original writing on this site belongs to its author. Bounds, titles and statements from papers belong to their authors, so cite the original source rather than this site for those.
Third-party names and links
Names of people, labs, companies and journals appear only to identify who made a statement. Their mention does not imply endorsement or affiliation. External websites control their own content and availability. To report an error, see Corrections.
Last updated November 1, 2026.