| a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | | 2026-08-15 |
| c | b | a2 | COMPSAC | International Computer Software and Applications Conference | 2026-01-31 | 2026-04-01 | 2026-07-07 |
| a | a | a2 | ISSTA | International Symposium on Software Testing and Analysis | 2026-01-29 | 2026-06-25 | 2026-10-03 |
| c | a | b2 | ICST | International Conference on Software Testing, Verification and Validation | 2025-12-15 | 2026-02-20 | 2026-05-18 |
| a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2025-12-08 | | 2026-01-11 |
| a | | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| b | | | ETAPS | European Joint Conferences on Theory and Practice of Software | 2025-10-30 | 2025-12-22 | 2026-04-11 |
| c | | | REFSQ | Requirements Engineering: Foundation for Software Quality | 2025-10-17 | 2025-12-15 | 2026-03-23 |
| b | | | SANER | IEEE International Conference on Software Analysis, Evolution, and Reengineering | 2025-10-16 | 2025-12-09 | 2026-03-17 |
| c | a | a2 | STACS | International Symposium on Theoretical Aspects of Computer Science | 2025-09-25 | 2025-12-12 | 2026-03-10 |
| a | a | a2 | EuroSys | European Conference on Computer Systems | 2025-09-18 | 2026-01-30 | 2026-04-13 |
| a | a* | a1 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2025-09-11 | 2025-11-21 | 2026-07-05 |
| c | | | ATS | Asian Test Symposium | 2025-08-05 | 2025-09-24 | 2025-12-16 |
| a | a* | a1 | AAAI | AAAI Conference on Artificial Intelligence | 2025-07-25 | 2025-11-03 | 2026-01-20 |
| c | b | b3 | ISPA | International Symposium on Parallel and Distributed Processing with Applications | 2025-07-07 | 2025-08-07 | 2025-10-10 |
| c | b | | APSEC | Asia-Pacific Software Engineering Conference | 2025-07-06 | 2025-09-13 | 2025-12-02 |
| c | b | b1 | FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2025-07-04 | 2025-09-15 | 2025-12-17 |
| c | | b3 | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2025-06-14 | 2025-08-30 | 2025-11-24 |
| c | | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 |
| c | b | b1 | SEKE | International Conference on Software Engineering and Knowledge Engineering | 2025-05-01 | 2025-06-20 | 2025-09-29 |
| c | a | b1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2025-04-25 | 2025-07-04 | 2025-10-27 |
| c | | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2025-04-20 | 2025-07-01 | 2025-10-06 |
| b | a | b1 | SAT | International Conference on Theory and Applications of Satisfiability Testing | 2025-03-20 | 2025-05-05 | 2025-08-11 |
| c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
| b | a | a1 | ICALP | International Colloquium on Automata, Languages and Programming | 2025-02-07 | 2025-04-14 | 2025-07-08 |
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
| c | a | b1 | ISAAC | International Symposium on Algorithms and Computation | 2024-06-28 | 2024-09-02 | 2024-12-08 |
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| b | a* | b1 | IJCAR | International Joint Conference on Automated Reasoning | 2024-01-29 | 2024-03-28 | 2024-07-01 |