• CADE 2027 ↗The Conference on Automated Deduction
• CAV 2027 ↗International Conference on Computer-Aided Verification
• CCC 2027 ↗Computational Complexity Conference
• COCOON 2026 ↗International Computing and Combinatorics Conference
• CONCUR 2026 ↗International Conference on Concurrency Theory
• ESA 2026 ↗European Symposium on Algorithms
• FMCAD 2026 ↗Formal Methods in Computer-Aided Design
• FOCS 2026 ↗IEEE Symposium on Foundations of Computer Science
• FSCD 2027 ↗International Conference on Formal Structures for Computation and Deduction
• HSCC 2027 ↗International Conference on Hybrid Systems: Computation and Control
• ICALP 2027 ↗EATCS International Colloquium on Automata, Languages, and Programming
• IJCAR 2026 ↗International Joint Conference on Automated Reasoning
• ISAAC 2026 ↗International Symposium on Algorithms and Computation
• ISIT 2027 ↗IEEE International Symposium on Information Theory
• LICS 2027 ↗IEEE Symposium on Logic in Computer Science
• SAT 2026 ↗International Conference on Theory and Applications of Satisfiability Testing
• SETTA 2026 ↗Symposium on Dependable Software Engineering: Theories, Tools and Applications
• SOCG 2027 ↗International Symposium on Computational Geometry
• SODA 2027 ↗ACM-SIAM Symposium on Discrete Algorithms
• STOC 2027 ↗ACM Symposium on the Theory of Computing