📚 Theoretical Computer Science Conferences
25 conferences found
Showing 1–20 of 25
Computer Science & IT· In Person
2026 6th International Conference on Algorithms, High Performance Computing, and Artificial Intelligence
Zhengzhou, ChinaNov 20, 2026 – Nov 22, 2026
Deadline
Oct 12, 2026
14 days left
Computer Science & IT· In PersonCCF ACORE A*
STOC 2027: ACM Symposium on the Theory of Computing
Atlanta, USAJun 6, 2027 – Jun 11, 2027
Deadline
Nov 2, 2026
35 days remaining
Computer Science & IT· In PersonCCF B
HSCC 2027: International Conference on Hybrid Systems: Computation and Control
Boulder, USAMay 17, 2027 – May 20, 2027
Deadline
Nov 5, 2026
38 days remaining
Computer Science & IT· In Person
6th Symposium on Algorithmic Foundations of Dynamic Networks
Paderborn, GermanyJun 30, 2027 – Jul 2, 2027
Deadline
Dec 8, 2026
71 days remaining
Computer Science & IT· In PersonCORE B
ISIT 2027: IEEE International Symposium on Information Theory
Sorrento, ItalyJun 27, 2027 – Jul 2, 2027
Deadline
Jan 10, 2027
104 days remaining
Computer Science & IT· In PersonCCF ACORE A*
CAV 2027: International Conference on Computer-Aided Verification
KIT, NetherlandsJul 19, 2027 – Jul 23, 2027
Deadline
Jan 20, 2027
114 days remaining
Computer Science & IT· In PersonCCF BCORE A
CADE 2027: The Conference on Automated Deduction
Nijmegen, NetherlandsAug 22, 2027 – Aug 25, 2027
Deadline
Feb 22, 2027
147 days remaining
Computer Science & IT· In PersonCCF B
CCC 2027: Computational Complexity Conference
Seattle, USAJul 19, 2027 – Jul 22, 2027
Deadline
—
Computer Science & IT· In PersonCCF BCORE A
SOCG 2027: International Symposium on Computational Geometry
Bengaluru, IndiaJun 21, 2027 – Jun 25, 2027
Deadline
—
Computer Science & IT· In PersonCCF C
FSCD 2027: International Conference on Formal Structures for Computation and Deduction
Nijmegen, NetherlandsAug 23, 2027 – Aug 26, 2027
Deadline
—
Computer Science & IT· In PersonCCF ACORE A*
LICS 2027: IEEE Symposium on Logic in Computer Science
Montréal, CanadaJun 21, 2027 – Jun 24, 2027
Deadline
—
Computer Science & IT· In PersonCCF ACORE A*
FOCS 2026: IEEE Symposium on Foundations of Computer Science
New York City, USANov 8, 2026 – Nov 11, 2026
Deadline
Apr 1, 2026
Closed
Computer Science & IT· In Person
The Sixth ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization
Munich, GermanyNov 5, 2026 – Nov 7, 2026
Deadline
May 8, 2026
Closed
Computer Science & IT· In PersonCCF C
SETTA 2026: Symposium on Dependable Software Engineering: Theories, Tools and Applications
SingaporeDec 2, 2026 – Dec 4, 2026
Deadline
May 24, 2026
Closed
Computer Science & IT· In PersonCCF CCORE B
ISAAC 2026: International Symposium on Algorithms and Computation
Hangzhou, ChinaDec 6, 2026 – Dec 9, 2026
Deadline
Jun 26, 2026
Closed
Computer Science & IT· In Person
International Symposium on Algorithms and Computation
Hangzhou, ChinaDec 6, 2026 – Dec 9, 2026
Deadline
Jun 26, 2026
Closed
Computer Science & IT· In PersonCCF ACORE A*
SODA 2027: ACM-SIAM Symposium on Discrete Algorithms
Philadelphia, USAJan 24, 2027 – Jan 27, 2027
Deadline
Jul 9, 2026
Closed
Computer Science & IT· In Person
The 26th International Conference on Algorithms and Architectures for Parallel Processing
Exeter, UKOct 26, 2026 – Oct 28, 2026
Deadline
Jul 25, 2026
Closed
Computer Science & IT· In Person
8th International Workshop on Formal Methods for Autonomous Systems
Southampton, UKNov 17, 2026 – Nov 18, 2026
Deadline
Aug 14, 2026
Closed
Computer Science & IT· In Person
SIAM Conference on Applied and Computational Discrete Algorithms
Pittsburgh, USAFeb 22, 2027 – Feb 24, 2027
Deadline
Sep 8, 2026
Closed