| b | a* | a2 | ICFP | ACM SIGPLAN International Conference on Functional Programming | 2026-02-19 | 2026-05-14 | 2026-08-23 |
| 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 | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2025-07-10 | 2025-10-02 | 2026-01-11 |
| 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 |
| b | b1 | PPDP | ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming | 2025-05-18 | 2025-07-07 | 2025-09-10 |
| 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 |
| a | a2 | ESOP | European Symposium on Programming | 2024-10-10 | 2024-12-19 | 2025-05-03 |
| a | a2 | FoSSaCS | International Conference on Foundations of Software Science and Computation Structures | 2024-10-10 | 2024-12-20 | 2025-05-03 |
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| b | a | a2 | CONCUR | International Conference on Concurrency Theory | 2024-04-26 | 2024-06-21 | 2024-09-09 |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 |
| a | 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 |
| c | a | b1 | RTA | International Conference on Rewriting Techniques and Applications | 2015-01-30 | 2015-04-08 | 2015-06-29 |
| a | b1 | FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-02-03 | 2012-05-23 |