| b | a | a2 | ISSRE | International Symposium on Software Reliability Engineering | 2026-04-10 | 2026-07-08 | 2026-10-20 |
| a | a* | a1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2026-03-17 | 2026-06-10 | 2026-10-03 |
| b | a | a2 | ICSME | International Conference on Software Maintenance and Evolution | 2026-02-27 | 2026-05-29 | 2026-09-14 |
| b | a | a1 | ECOOP | European Conference on Object-Oriented Programming | 2026-02-12 | 2026-04-09 | 2026-06-29 |
| a | a | a2 | ISSTA | International Symposium on Software Testing and Analysis | 2026-01-29 | 2026-06-25 | 2026-10-03 |
| a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| a | | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2025-11-13 | 2026-03-05 | 2026-06-15 |
| b | | | SANER | IEEE International Conference on Software Analysis, Evolution, and Reengineering | 2025-10-16 | 2025-12-09 | 2026-03-17 |
| 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 |
| a | a* | a1 | ICSE | International Conference on Software Engineering | 2025-07-11 | 2025-10-17 | 2026-04-12 |
| a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2025-07-10 | 2025-10-02 | 2026-01-11 |
| c | b | | APSEC | Asia-Pacific Software Engineering Conference | 2025-07-06 | 2025-09-13 | 2025-12-02 |
| c | b | b1 | APLAS | Asian Symposium on Programming Languages and Systems | 2025-05-31 | 2025-07-18 | 2025-10-27 |
| a | a | a1 | ASE | International Conference on Automated Software Engineering | 2025-05-30 | 2025-08-14 | 2025-11-16 |
| a | a* | a1 | SOSP | ACM Symposium on Operating Systems Principles | 2025-04-10 | 2025-07-15 | 2025-10-13 |
| b | a | b1 | LCTES | ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems | 2025-03-07 | 2025-04-21 | 2025-06-16 |
| 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 |
| b | a | a2 | SAS | International Static Analysis Symposium | 2024-05-05 | 2024-07-07 | 2024-10-20 |
| b | a* | b1 | IJCAR | International Joint Conference on Automated Reasoning | 2024-01-29 | 2024-03-28 | 2024-07-01 |
| b | a | a2 | CADE | International Conference on Automated Deduction | 2017-02-11 | 2017-04-22 | 2017-08-06 |