| a | a* | a1 | CCS | ACM Conference on Computer and Communications Security | 2026-04-22 | 2026-07-17 | 2026-11-15 |
| b | a* | a2 | KR | International Conference on the Principles of Knowledge Representation and Reasoning | 2026-02-08 | 2026-04-13 | 2026-07-20 |
| a | a* | a1 | KDD | ACM SIGKDD Conference on Knowledge Discovery and Data Mining | 2026-02-01 | 2026-05-16 | 2026-08-09 |
| c | b | a2 | COMPSAC | International Computer Software and Applications Conference | 2026-01-31 | 2026-04-01 | 2026-07-07 |
| a | a* | a1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | | 2026-08-15 |
| a | a* | a1 | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-04-02 | 2026-07-20 |
| a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| a | a* | a1 | ACL | Annual Meeting of the Association for Computational Linguistics | 2026-01-05 | 2026-04-04 | 2026-07-02 |
| b | a | a1 | DSN | International Conference on Dependable Systems and Networks | 2025-11-27 | 2026-03-19 | 2026-06-22 |
| a | | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| c | a | | PAKDD | Pacific-Asia Conference on Knowledge Discovery and Data Mining | 2025-11-15 | 2026-02-08 | 2026-06-09 |
| a | a* | | S&P | IEEE Symposium on Security and Privacy | 2025-11-13 | 2026-03-19 | 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 |
| a | a* | a1 | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-02-01 | 2026-06-22 |
| b | | | ETAPS | European Joint Conferences on Theory and Practice of Software | 2025-10-30 | 2025-12-22 | 2026-04-11 |
| b | a* | a1 | AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2025-10-01 | 2025-12-22 | 2026-05-25 |
| a | a* | a1 | FSE | ACM SIGSOFT Symposium on the Foundations of Software Engineering | 2025-09-11 | 2025-11-21 | 2026-07-05 |
| a | a | a2 | PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2025-09-01 | 2025-11-10 | 2026-01-31 |
| 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 | b3 | DASC | International Conference on Dependable, Autonomic and Secure Computing | 2025-06-10 | 2025-08-11 | 2025-10-21 |
| 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 |
| c | b1 | SEAA | Euromicro Conference on Software Engineering and Advanced Applications | 2025-05-25 | 2025-06-23 | 2025-09-10 |
| b | a | a1 | EMNLP | Conference on Empirical Methods in Natural Language Processing | 2025-05-19 | 2025-08-20 | 2025-11-05 |
| c | b | b1 | SEKE | International Conference on Software Engineering and Knowledge Engineering | 2025-05-01 | 2025-06-20 | 2025-09-29 |
| b | a | a2 | ECAI | European Conference on Artificial Intelligence | 2025-04-29 | 2025-07-10 | 2025-10-25 |
| b | a | a2 | SRDS | IEEE Symposium on Reliable Distributed Systems | 2025-04-25 | 2025-06-27 | 2025-09-29 |
| a | a* | a1 | SOSP | ACM Symposium on Operating Systems Principles | 2025-04-10 | 2025-07-15 | 2025-10-13 |
| a | a* | a1 | FOCS | IEEE Symposium on Foundations of Computer Science | 2025-04-03 | 2025-07-08 | 2025-12-14 |
| 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 |
| c | c | b3 | TASE | International Symposium on Theoretical Aspects of Software Engineering | 2025-03-01 | 2025-04-01 | 2025-07-14 |
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
| 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 | a | a2 | ISSRE | International Symposium on Software Reliability Engineering | 2024-05-03 | 2024-07-26 | 2024-10-28 |
| b | a | a2 | CONCUR | International Conference on Concurrency Theory | 2024-04-26 | 2024-06-21 | 2024-09-09 |
| c | a | b5 | ICSSP | International Conference on Software and Systems Process | 2024-03-22 | 2024-04-30 | 2024-09-04 |
| b | b1 | QRS | International Conference on Software Quality, Reliability and Security | 2024-03-11 | 2024-05-06 | 2024-07-01 |
| b | b1 | SafeComp | International Conference on Computer Safety, Reliability and Security | 2024-02-04 | 2024-04-21 | 2024-09-17 |
| b | a* | b1 | IJCAR | International Joint Conference on Automated Reasoning | 2024-01-29 | 2024-03-28 | 2024-07-01 |
| c | b2 | IDEAL | International Conference on Intelligent Data Engineering and Automated Learning | 2023-06-12 | 2023-07-31 | 2023-11-22 |
| | | NFM | NASA Formal Methods Symposium | 2022-12-09 | 2023-02-20 | 2023-05-16 |
| c | | SSS | International Symposium on Stabilization, Safety, and Security of Distributed Systems | 2022-08-05 | 2022-09-23 | 2022-11-15 |
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-08-07 | 2022-09-28 |
| a | a* | a2 | ESEC | European Software Engineering Conference | 2022-03-10 | 2022-06-14 | 2022-11-14 |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 |
| | b2 | ICSC | International Conference on Semantic Computing | 2020-10-12 | 2020-11-25 | 2021-01-27 |
| b | b1 | KES | International Conference on Knowledge-Based and Intelligent Information & Engineering Systems | 2020-05-15 | 2020-06-05 | 2020-09-16 |
| b | b1 | ARES | International Conference on Availability, Reliability and Security | 2020-04-15 | 2020-06-03 | 2020-08-24 |
| | | SCSSS | Scandinavian Conference System and Software Safety | 2017-11-08 | | 2018-05-21 |
| b | a | a2 | CADE | International Conference on Automated Deduction | 2017-02-11 | 2017-04-22 | 2017-08-06 |
| b | a | a2 | MODELS | International Conference on Model Driven Engineering Languages and Systems | | | 2026-10-04 |