📚 Theoretical Computer Science Conferences
14 conferences found
Showing 1–14 of 14
Computer Science & IT· In Person
SIAM Conference on Applied and Computational Discrete Algorithms
Pittsburgh, USAFeb 22, 2027 – Feb 24, 2027
Deadline
Sep 8, 2026
Closes today
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
7 days left
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
10 days left
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
13 days left
Computer Science & IT· In Person
IEEE 2026 10th International Workshop on Control Engineering and Advanced Algorithms
Xi'an, ChinaNov 6, 2026 – Nov 8, 2026
Deadline
Sep 22, 2026
14 days left
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
134 days remaining
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
Formal Methods in Computer-Aided Design
Graz, AustriaSep 14, 2026 – Sep 18, 2026
Deadline
Apr 26, 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 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
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