Theory Conferences
Upcoming theory conferences with venues, CFP deadlines, and hotel picks near each venue. Browse all conferences.
Open CFP Deadlines
| Deadline | Conference | Location | Dates | Rank |
|---|---|---|---|---|
| Jul 9 | SODA 2027 ACM-SIAM Symposium on Discrete Algorithms | Philadelphia, Pennsylvania, United States | Jan 24-27 | A* |
| Jul 15 | CSL 2027 Annual Conference on Computer Science Logic | Brighton, UK | Jan 25-29 | B |
Upcoming Conferences
A*
STOC 2026
ACM Symposium on Theory of Computing
A*
COLT 2026
Annual Conference on Learning Theory
A
PODC 2026
ACM Symposium on Principles of Distributed Computing
A
GECCO 2026
Genetic and Evolutionary Computation Conference
B
FSCD 2026
Conference on Formal Structures for Computation and Deduction
A*
LICS 2026
Symposium on Logic in Computer Science
A
SAT 2026
Conference on Theory and Applications of Satisfiability Testing
A*
FOCS 2026
IEEE Symposium on Foundations of Computer Science
A
TCC 2026
Theory of Cryptography Conference
A*
SODA 2027
ACM-SIAM Symposium on Discrete Algorithms
B
CSL 2027
Annual Conference on Computer Science Logic
B
SOFSEM 2027
International Conference on Current Trends in Theory and Practice of Computer Science