CCF list · 7th edition (2026)
Theory: CCF A conferences
The 7th edition (2026) of the CCF list has 5 rank A conferences in Theoretical Computer Science. 1 have an upcoming deadline announced. Each row gives the 2022 rank, the next deadline and the latest edition.
Deadline calendar
Deadlines in the next 90 days
| Deadline | Left | Conference | Rank | Field | Milestone | Venue | Source |
|---|---|---|---|---|---|---|---|
| Jan 21, 11:59 UTC | CAV 2027 | CCF A | Theory | Paper | KIT, Amsterdam, The Netherlands | Community data · unverified |
Subscribe to these deadlines:Apple / Outlook calendarGoogle Calendar.ics file
Theory: CCF A conferences
| Acronym | Full name | CCF 2026 | CCF 2022 | Next deadline | Latest edition | Publisher |
|---|---|---|---|---|---|---|
| STOC | ACM Symposium on the Theory of Computing | CCF A | A | Not announced | 2027Atlanta, Georgia, USA | ACM |
| SODA | ACM-SIAM Symposium on Discrete Algorithms | CCF A | A | Not announced | 2027Philadelphia, Pennsylvania, USA | SIAM |
| CAV | International Conference on Computer Aided Verification | CCF A | A | CAV 2027 · Paper | 2027KIT, Amsterdam, The Netherlands | Springer |
| FOCS | IEEE Annual Symposium on Foundations of Computer Science | CCF A | A | Not announced | 2026New York City, NY, USA | IEEE |
| LICS | ACM/IEEE Symposium on Logic in Computer Science | CCF A | A | Not announced | 2027Montréal, Canada | IEEE |
CCF journals
CCF journals in Theory
Linked where the journal has a profile here: CAS zone, impact factor, review time and fees. All their CAS zones in one table →
CCF A (3)
Related lists
FAQ
About Theory: CCF A conferences
Which Theory conferences are CCF A?
STOC, SODA, CAV, FOCS, LICS.
Do workshop and short papers count?
CCF counts the full (regular) papers of a listed conference: short papers, demos, technical briefs, summaries, Findings and the workshops held with a conference are outside the list. CCF also says the list is a recommendation and should not be used on its own to evaluate research; your institution's rules decide.
Sources: the CCF list of recommended international conferences and journals, 7th edition (published 31 March 2026, corrected 9 April 2026) and 6th edition (2022); editions, deadlines and acceptance rates from the ccf-deadlines community project (MIT licence), marked as community data until checked against each conference's website, then marked as checked with the website's own words; proceedings and paper counts from dblp (CC0).