| A | A2 | ESOP | European Symposium on Programming | 2026-10-15 | 2026-12-22 | 2027-04-10 |
| B | A2 | FoSSaCS | International Conference on Foundations of Software Science and Computation Structures | 2026-10-15 | 2026-12-22 | 2027-04-10 |
| A | A* | A1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2026-07-09 | 2026-10-05 | 2027-01-10 |
| C | B1 | PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2026-05-20 | 2026-06-26 | 2026-08-24 |
| B | B | A2 | CONCUR | International Conference on Concurrency Theory | 2026-04-20 | 2026-06-15 | 2026-09-01 |
| B | A | A2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| B | B1 | ICLP | International Conference on Logic Programming | 2026-01-31 | 2026-03-12 | 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 | 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 |
| C | A | A2 | STACS | International Symposium on Theoretical Aspects of Computer Science | 2025-09-25 | 2025-12-12 | 2026-03-10 |
| C | B | B1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| C | | 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 | FOCS | IEEE Symposium on Foundations of Computer Science | 2025-04-03 | 2025-07-08 | 2025-12-14 |
| B | A* | A1 | ICALP | International Colloquium on Automata, Languages and Programming | 2025-02-07 | 2025-04-14 | 2025-07-08 |
| C | B | B1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| B | B2 | FCT | International Symposium on Fundamentals of Computation Theory | 2019-04-14 | 2019-05-19 | 2019-08-11 |
| | B1 | TLCA | International Conference
on Typed Lambda Calculi and Applications | 2015-01-30 | 2015-04-02 | 2015-06-29 |
| | B1 | RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-04-08 | 2015-06-29 |
| | B1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |