📚 Theoretical Computer Science Conferences
24 conferences found
Showing 1–20 of 24
Computer Science & IT· In Person
6th Symposium on Algorithmic Foundations of Dynamic Networks
Paderborn, GermanyJun 30, 2027 – Jul 2, 2027
Deadline
Dec 8, 2026
31 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
64 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
74 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
107 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 Person
International Symposium on Algorithms and Computation
Hangzhou, ChinaDec 6, 2026 – Dec 9, 2026
Deadline
Jun 26, 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 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
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
Computer Science & IT· In Person
18th International Conference on Bioinformatics Models, Methods and Algorithms
Valletta, MaltaFeb 19, 2027 – Feb 21, 2027
Deadline
Sep 15, 2026
Closed
Computer Science & IT· In PersonCCF BCORE A*
ICALP 2027: EATCS International Colloquium on Automata, Languages, and Programming
Kraków, PolandJul 5, 2027 – Jul 9, 2027
Deadline
Sep 15, 2026
Closed
Computer Science & IT· In Person
2026 International Conference on Artificial Intelligence, Data Science, and Advanced Algorithms
Nanchang, ChinaDec 11, 2026 – Dec 13, 2026
Deadline
Sep 18, 2026
Closed
Computer Science & IT· In Person
The 21st International Conference and Workshops on Algorithms and Computation
Taipei, TaiwanMar 24, 2027 – Mar 26, 2027
Deadline
Sep 21, 2026
Closed