Theoretical CS Conference Deadlines 2025-2027

All Theory & Algorithms conference deadlines

114 conferences, sorted by upcoming deadline. Use the filters above for live countdowns and ICORE ranking filters.

• ISAAC 2026 International Symposium on Algorithms and Computation deadline Jun 26, 2026 — Hangzhou, China
• SODA 2027 ACM-SIAM Symposium on Discrete Algorithms deadline Jul 9, 2026 — Philadelphia, Pennsylvania, USA
• CONCUR 2026 International Conference on Concurrency Theory deadline was Apr 27, 2026 — Liverpool, UK
• FMCAD 2026 Formal Methods in Computer-Aided Design deadline was Apr 26, 2026 — Graz, Austria
• FOCS 2026 IEEE Symposium on Foundations of Computer Science deadline was Apr 1, 2026 — New York City, NY, USA
• SAT 2026 International Conference on Theory and Applications of Satisfiability Testing deadline was Mar 10, 2026 — Lisbon, Portugal
• ICALP 2026 EATCS International Colloquium on Automata, Languages, and Programming deadline was Feb 6, 2026 — London, UK
• CAV 2026 International Conference on Computer-Aided Verification deadline was Jan 28, 2026 — Lisbon, Portugal
• LICS 2026 IEEE Symposium on Logic in Computer Science deadline was Jan 22, 2026 — Lisbon, Portugal
• ISIT 2026 IEEE International Symposium on Information Theory deadline was Jan 16, 2026 — Guangzhou, China
• SOCG 2026 International Symposium on Computational Geometry deadline was Dec 2, 2025 — New Brunswick, New Jersey, USA
• HSCC 2026 International Conference on Hybrid Systems: Computation and Control deadline was Nov 13, 2025 — Saint Malo, France
• STOC 2026 ACM Symposium on the Theory of Computing deadline was Nov 4, 2025 — Salt Lake City, Utah, USA
• SETTA 2025 Symposium on Dependable Software Engineering: Theories, Tools and Applications deadline was Aug 20, 2025 — Oxford, UK
• SODA 2026 ACM-SIAM Symposium on Discrete Algorithms deadline was Jul 14, 2025 — Hyatt Regency Vancouver, Vancouver, Canada
• FMCAD 2025 Formal Methods in Computer-Aided Design deadline was Apr 27, 2025 — Menlo Park, USA
• CONCUR 2025 International Conference on Concurrency Theory deadline was Apr 9, 2025 — Aarhus, Denmark
• FOCS 2025 IEEE Symposium on Foundations of Computer Science deadline was Apr 3, 2025 — Sydney, Australia
• COCOON 2025 International Computing and Combinatorics Conference deadline was Mar 5, 2025 — Chengdu, China
• COCOON 2026 International Computing and Combinatorics Conference deadline was Mar 4, 2025 — Singapore
• CADE 2025 The Conference on Automated Deduction deadline was Feb 24, 2025 — DHBW Stuttgart, Stuttgart, Germany
• IJCAR 2026 International Joint Conference on Automated Reasoning deadline was Feb 15, 2025 — Lisbon, Portugal
• ICALP 2025 EATCS International Colloquium on Automata, Languages, and Programming deadline was Feb 8, 2025 — Aarhus, Denmark
• CAV 2025 International Conference on Computer-Aided Verification deadline was Jan 31, 2025 — Zagreb, Croatia
• SOCG 2025 International Symposium on Computational Geometry deadline was Dec 3, 2024 — Kanazawa, Japan
• STOC 2025 ACM Symposium on the Theory of Computing deadline was Nov 4, 2024 — Prague, Czech Republic
• SODA 2025 ACM-SIAM Symposium on Discrete Algorithms deadline was Jul 5, 2024 — New Orleans, Louisiana, USA
• AAAC Symposium of Asian Association for Algorithms and Computation deadline TBD
• AAIM Conference on Algorithmic Aspects in Information and Management deadline TBD
• ACCMCC Australasian Conference on Combinatorial Mathematics and Combinatorial Computing deadline TBD
• ACCT International Workshop on Algebraic and Combinatorial Coding Theory deadline TBD
• ALENEX Workshop on Algorithm Engineering and Experiments deadline TBD
• APPROX/RANDOM International Workshop on Approximation Algorithms for Combinatorial Optimization Problems and International Conference on Randomization and Computation deadline TBD
• ARITH IEEE Symposium on Computer Arithmetic deadline TBD
• ATMOS Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems deadline TBD
• AiML Advances in Modal Logic deadline TBD
• AofA International Conference on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (was Conference on Analysis of Algorithms) deadline TBD
• CALCO Conference on Algebra and Coalgebra in Computer Science deadline TBD
• CASC Computer Algebra in Scientific Computing deadline TBD
• CCA International Conference on Computability and Complexity in Analysis deadline TBD
• CCC IEEE Conference on Computational Complexity deadline TBD
• CIAA International Conference on Implementation and Application of Automata deadline TBD
• CIAC International Conference on Algorithms and Complexity (was Italian Conference ) deadline TBD
• CICM Conference on Intelligent Computer Mathematics deadline TBD
• COMPLEXIS International Conference on Complexity, Future Information Systems and Risk deadline TBD
• CPP Certified Programs and Proofs deadline TBD
• CSICC International CSI Computer Conference deadline TBD
• CSL Annual Conference on Computer Science Logic deadline TBD
• CTW Cologne-Twente Workshop on Graphs and Combinatorial Optimization deadline TBD
• CiE Computability in Europe: Logic and Theory of Algorithms deadline TBD
• DLT Developments in Language Theory deadline TBD
• DM SIAM Conference on Discrete Mathematics deadline TBD
• ECCO European Chapter on Combinatorial Optimization deadline TBD
• ESA European Symposium on Algorithms deadline TBD
• EUroComb EuroConference on Combinatorics, Graph Theory and Applications deadline TBD
• EuroCG European Workshop on Computational Geometry deadline TBD
• FAW International Frontiers of Algorithmics Workshop deadline TBD
• FCT International Symposium on Fundamentals of Computation Theory deadline TBD
• FLOPS International Symposium on Functional and Logic Programming deadline TBD
• FOCS 2027 IEEE Annual Symposium on Foundations of Computer Science deadline TBD
• FOSSACS Foundations of Software Science and Computational Structures deadline TBD
• FSCD International Conference on Formal Structures for Computation and Deduction deadline TBD
• FST&TCS Foundations of Software Technology and Theoretical Computer Science deadline TBD
• FUN Conference on Fun with Algorithms deadline TBD
• GD Graph Drawing deadline TBD
• ICCAM International Congress on Computational and Applied Mathematics deadline TBD
• ICFCA International Conference Formal Concept Analysis Conference deadline TBD
• ICGT International Conference on Graph Transformations deadline TBD
• ICLP International Conference on Logic Programming deadline TBD
• ICTAC International Colloquium on Theoretical Aspects of Computing deadline TBD
• ILP Inductive Logic Programming deadline TBD
• IPCO Conference on Integer Programming and Combinatorial Optimization deadline TBD
• IPEC International Symposium on Parameterized and Exact Computation (was IWPEC pre 2004) deadline TBD
• ISCO International Symposium on Combinatorial Optimisation deadline TBD
• ISITA International Symposium on Information Theory and Its Applications deadline TBD
• ISSAC International Symposium on Symbolic and Algebraic Computation deadline TBD
• ITCS Innovations in Theoretical Computer Science deadline TBD
• ITP Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) deadline TBD
• ITW Information Theory Workshop deadline TBD
• IWOCA International Workshop on Combinatorial Algorithm deadline TBD
• Informatics IEEE International Scientific Conference on Informatics deadline TBD
• JELIA Logics in Artificial Intelligence, European Conference deadline TBD
• LAGOS Latin-American Algorithms, Graphs and Optimization Symposium deadline TBD
• LATA International Conference on Language and Automata Theory and Applications deadline TBD
• LATIN International Symposium on Latin American Theoretical Informatics deadline TBD
• LFCS Logical Foundations of Computer Science deadline TBD
• LOPSTR International Symposium on Logic-based Program Synthesis and Transformation deadline TBD
• LPAR Logic Programming and Automated Reasoning deadline TBD
• MCU Machines, Computations and Universality (was Universal Machines and Computations) deadline TBD
• MFCS International Symposium on Mathematical Foundations of Computer Science deadline TBD
• MFPS International Conference on Mathematical Foundations of Programming Semantics deadline TBD
• MPC Mathematics of Program Construction deadline TBD
• PPDP International Conference on Principles and Practice of Declarative Programming deadline TBD
• PSC Prague Stringology Conference deadline TBD
• RAMiCS International Conference on Relational and AlgebraicMethods in Computer Science (was International Conference on Relational Methods in Computer Science RelMiCS) deadline TBD
• RC International Conference on Reversible Computation deadline TBD
• SAGT International Symposium on Algorithmic Game Theory deadline TBD
• SEA International Symposium on Experimental Algorithms deadline TBD
• SIROCCO International Colloquium on Structural Information and Communication Complexity deadline TBD
• STACS International Symposium on Theoretical Aspects of Computer Science deadline TBD
• STOC 2027 ACM Symposium on Theory of Computing deadline TBD
• SYNASC International Symposium on Symbolic and Numeric Algorithms for Scientific Computing deadline TBD
• TABLEAUX International Conference on Theorem Proving with Analytic Tableaux and Related Methods deadline TBD
• TAMC Conference on Theory and Applications of Models of Computation deadline TBD
• TARK Theoretical Aspects of Rationality and Knowledge deadline TBD
• UC International Conference on Unconventional Computation and Natural Computation (was International Conference on Unconventional Computation) deadline TBD
• WADS Algorithms and Data Structures Symposium (was Workshop on Algorithms and Data Structures) deadline TBD
• WAIFI Workshop on the Arithmetic of Finite Fields deadline TBD
• WALCOM International Conference and Workshops on Algorithms and Computation deadline TBD
• WAOA Workshop on Approximation and Online Algorithms deadline TBD
• WAW Workshop on Algorithms And Models For The Web Graph deadline TBD
• WCO Workshop on Computational Optimization deadline TBD
• WG International Workshop on Graph-Theoretic Concepts in Computer Science deadline TBD
• WoLLIC Workshop on Logic, Language, Information and Computation deadline TBD