CCF list · 7th edition (2026)
Theory: CCF conferences
The 7th edition (2026) of the CCF list has 25 conferences in Theoretical Computer Science: 5 A, 10 B and 10 C. 3 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 |
|---|---|---|---|---|---|---|---|
| Dec 3, 11:59 UTC | SoCG 2027 | CCF B | Theory | PaperSubmission registration: November 25, 2026, 23:59 AoE | Bengaluru, India | Community data · unverified | |
| 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
CCF A (5)
| 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 B (10)
| Acronym | Full name | CCF 2026 | CCF 2022 | Next deadline | Latest edition | Publisher |
|---|---|---|---|---|---|---|
| SoCG | International Symposium on Computational Geometry | CCF B | B | SoCG 2027 · Paper | 2027Bengaluru, India | ACM |
| ESA | European Symposium on Algorithms | CCF B | B | Not announced | 2026L'Aquila, Italy | Springer |
| CCC | Conference on Computational Complexity | CCF B | B | Not announced | 2027Seattle, Washington, USA | IEEE |
| ICALP | International Colloquium on Automata, Languages and Programming | CCF B | B | Not announced | 2027Kraków, Poland | Springer |
| CADE | Conference on Automated Deduction | CCF B | B | CADE 2027 · Abstract | 2027Nijmegen, Netherlands | Springer |
| CONCUR | International Conference on Concurrency Theory | CCF B | B | Not announced | 2027Lucca, Italy | Springer |
| HSCC | International Conference on Hybrid Systems: Computation and Control | CCF B | B | Not announced | 2027Boulder, Colorado, USA | Springer/ ACM |
| SAT | International Conference on Theory and Applications of Satisfiability Testing | CCF B | B | Not announced | 2026Lisbon, Portugal | Springer |
| COCOON | International Computing and Combinatorics Conference | CCF B | B | Not announced | 2026Singapore | Springer |
| FMCAD | Formal Methods in Computer-Aided Design | CCF B | C | Not announced | 2026Graz, Austria | ACM |
CCF C (10)
| Acronym | Full name | CCF 2026 | CCF 2022 | Next deadline | Latest edition | Publisher |
|---|---|---|---|---|---|---|
| CSL | Computer Science Logic | CCF C | C | Not announced | — | Springer |
| FSTTCS | Foundations of Software Technology and Theoretical Computer Science | CCF C | C | Not announced | — | Indian Association for Research in Computing Science |
| DSAA | IEEE International Conference on Data Science and Advanced Analytics | CCF C | C | Not announced | — | IEEE |
| ICTAC | International Colloquium on Theoretical Aspects of Computing | CCF C | C | Not announced | — | Springer |
| IPCO | International Conference on Integer Programming and Combinatorial Optimization | CCF C | C | Not announced | — | Springer |
| FSCD | International Conference on Formal Structures for Computation and Deduction | CCF C | C | Not announced | 2027Nijmegen, Netherlands | Dagstuhl Leibniz LIPIcs |
| ISAAC | International Symposium on Algorithms and Computation | CCF C | C | Not announced | 2026Hangzhou, China | Springer |
| MFCS | International Conference on Mathematical Foundations of Computer Science | CCF C | C | Not announced | — | Springer |
| STACS | Symposium on Theoretical Aspects of Computer Science | CCF C | C | Not announced | — | Springer |
| SETTA | International Symposium on Software Engineering: Theories, Tools, and Applications | CCF C | C | Not announced | 2026Singapore | Springer |
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)
CCF B (13)
CCF C (12)
Related lists
FAQ
About Theory: CCF conferences
Which Theory conferences are CCF A?
STOC, SODA, CAV, FOCS, LICS.
What changed since the 2022 edition?
FMCAD: C → B.
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).