CCF list · 7th edition (2026)
Theory: CCF B conferences
The 7th edition (2026) of the CCF list has 10 rank B conferences in Theoretical Computer Science. 2 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 |
Subscribe to these deadlines:Apple / Outlook calendarGoogle Calendar.ics file
Theory: CCF B conferences
| 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 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 B (13)
Related lists
FAQ
About Theory: CCF B conferences
Which Theory conferences are CCF B?
SoCG, ESA, CCC, ICALP, CADE, CONCUR, HSCC, SAT, COCOON, FMCAD.
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).