| b | a | a2 | EMSOFT | International Conference on Embedded Software | 2026-03-23 | 2026-07-17 | 2026-10-04 |
| a | a* | a1 | OOPSLA | Object-Oriented Programming Systems, Languages and Applications | 2026-03-17 | 2026-06-10 | 2026-10-03 |
| b | a | a1 | ECOOP | European Conference on Object-Oriented Programming | 2026-02-12 | 2026-04-09 | 2026-06-29 |
| c | b | a2 | COMPSAC | International Computer Software and Applications Conference | 2026-01-31 | 2026-04-01 | 2026-07-07 |
| a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| c | a | b1 | ICSA | IEEE International Conference on Software Architecture | 2025-11-28 | 2026-02-06 | 2026-06-22 |
| 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 | | | HSCC | International Conference on Hybrid Systems: Computation and Control | 2025-11-06 | 2026-01-29 | 2026-05-11 |
| 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 | ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | 2025-08-13 | 2025-11-24 | 2026-03-22 |
| a | a* | a1 | HPCA | International Symposium on High-Performance Computer Architecture | 2025-07-25 | 2025-11-07 | 2026-01-31 |
| c | b | a2 | ICTAI | International Conference on Tools with Artificial Intelligence | 2025-07-15 | 2025-08-30 | 2025-11-03 |
| 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 | 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 |
| a | a | a1 | ASE | International Conference on Automated Software Engineering | 2025-05-30 | 2025-08-14 | 2025-11-16 |
| c | | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 |
| a | a* | a1 | FOCS | IEEE Symposium on Foundations of Computer Science | 2025-04-03 | 2025-07-08 | 2025-12-14 |
| c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
| | | FSCD | International Conference on Formal Structures for Computation and Deduction | 2025-02-17 | 2025-04-30 | 2025-07-14 |
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
| c | a | b1 | ICECCS | International Conference on Engineering of Complex Computer Systems | 2025-01-28 | 2025-04-04 | 2025-07-02 |
| c | b | b1 | ICSR | International Conference on Software and Systems Reuse | 2024-12-03 | 2025-01-10 | 2025-04-27 |
| a | a1 | TACAS | International Conference on Tools and Algorithms for the Construction and Analysis of Systems | 2024-10-10 | 2024-12-20 | 2025-05-03 |
| b | a2 | FASE | Fundamental Approaches to Software Engineering | 2024-10-10 | 2024-12-20 | 2025-05-03 |
| b | a | a2 | CONCUR | International Conference on Concurrency Theory | 2024-04-26 | 2024-06-21 | 2024-09-09 |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 |
| b | b1 | HASE | International Symposium on High Assurance Systems Engineering | 2018-09-23 | 2018-10-15 | 2019-01-03 |
| a | a | a1 | USENIX ATC | USENIX Annual Technical Conference | | | 2025-07-07 |