| a | a2 | FoSSaCS | International Conference on Foundations of Software Science and Computation Structures | 2026-10-15 | 2026-12-22 | 2027-04-10 |
| c | | b1 | ICFEM | International Conference on Formal Engineering Methods | 2026-06-01 | 2026-08-08 | 2026-11-17 |
| c | b | b1 | SEKE | International Conference on Software Engineering and Knowledge Engineering | 2026-05-01 | 2026-06-20 | 2026-10-01 |
| b | a | a2 | SAS | International Static Analysis Symposium | 2026-05-01 | 2026-06-26 | 2026-10-03 |
| b | a | a2 | CONCUR | International Conference on Concurrency Theory | 2026-04-20 | 2026-06-15 | 2026-09-01 |
| | | QEST | International Conference on Quantitative Evaluation of SysTems | 2026-04-13 | 2026-06-03 | 2026-09-02 |
| b | b1 | QRS | International Conference on Software Quality, Reliability and Security | 2026-04-08 | 2026-05-30 | 2026-07-22 |
| a | a | a1 | ASE | International Conference on Automated Software Engineering | 2026-03-26 | 2026-05-25 | 2026-10-12 |
| a | a* | a1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2026-03-17 | 2026-06-10 | 2026-10-03 |
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2026-01-28 | 2026-04-17 | 2026-07-26 |
| a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| c | a | b2 | ICST | International Conference on Software Testing, Verification and Validation | 2025-12-15 | 2026-02-20 | 2026-05-18 |
| a | | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| b | | | HSCC | International Conference on Hybrid Systems: Computation and Control | 2025-11-06 | 2026-01-29 | 2026-05-11 |
| c | a | a2 | STACS | International Symposium on Theoretical Aspects of Computer Science | 2025-09-25 | 2025-12-12 | 2026-03-10 |
| a | a* | a1 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2025-09-11 | 2025-11-21 | 2026-07-05 |
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2025-09-10 | 2025-11-06 | 2026-01-11 |
| c | | | SETTA | Symposium on Dependable Software Engineering: Theories, Tools and Applications | 2025-08-20 | 2025-10-08 | 2025-12-01 |
| 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 | b | b1 | APLAS | Asian Symposium on Programming Languages and Systems | 2025-05-31 | 2025-07-18 | 2025-10-27 |
| 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 |
| 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 |
| c | b | b1 | PEPM | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation | 2024-10-14 | 2024-11-18 | 2025-01-19 |
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |