| A | ESOP | European Symposium on Programming | 2026-10-15 | 2026-12-22 | 2027-04-10 |
| B | FoSSaCS | International Conference on Foundations of Software Science and Computation Structures | 2026-10-15 | 2026-12-22 | 2027-04-10 |
| C | A | STACS | International Symposium on Theoretical Aspects of Computer Science | 2026-10-11 | 2026-12-22 | 2027-03-08 |
| A | A* | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2026-07-09 | 2026-10-05 | 2027-01-10 |
| C | B | CSL | Conference on Computer Science Logic | 2026-07-08 | 2026-10-15 | 2027-01-25 |
| C | | FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2026-07-04 | 2026-09-15 | 2026-12-16 |
| C | B | APLAS | Asian Symposium on Programming Languages and Systems | 2026-06-22 | 2026-08-04 | 2026-12-01 |
| C | PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2026-05-20 | 2026-06-26 | 2026-08-24 |
| B | B | CONCUR | International Conference on Concurrency Theory | 2026-04-20 | 2026-06-15 | 2026-09-01 |
| A | A* | FOCS | IEEE Symposium on Foundations of Computer Science | 2026-04-01 | 2026-07-03 | 2026-11-08 |
| B | A | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| B | A* | ICALP | International Colloquium on Automata, Languages and Programming | 2026-02-03 | 2026-04-20 | 2026-07-07 |
| B | ICLP | International Conference on Logic Programming | 2026-01-31 | 2026-03-12 | 2026-07-20 |
| A | A* | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| A | A* | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2025-11-13 | 2026-03-05 | 2026-06-15 |
| A | A* | STOC | ACM Symposium on Theory of Computing | 2025-11-04 | 2026-02-01 | 2026-06-22 |
| C | B | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| B | FCT | International Symposium on Fundamentals of Computation Theory | 2019-04-14 | 2019-05-19 | 2019-08-11 |
| | TLCA | International Conference
on Typed Lambda Calculi and Applications | 2015-01-30 | 2015-04-02 | 2015-06-29 |
| | RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-04-08 | 2015-06-29 |
| | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |