Category:Theoretical computer science conferences
Academic conferences in the field of theoretical computer science.
Pages in category "Theoretical computer science conferences"
The following 39 pages are in this category, out of 39 total. This list may not reflect recent changes.
C
I
- Innovations in Theoretical Computer Science
- International Colloquium on Automata, Languages and Programming
- International Conference on Applications and Theory of Petri Nets and Concurrency
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- International Conference on Developments in Language Theory
- International Conference on Rewriting Techniques and Applications
- International Conference on Theory and Applications of Models of Computation
- International Joint Conference on Automated Reasoning
- International Symposium on Distributed Computing
- International Symposium on Graph Drawing
- International Symposium on Mathematical Foundations of Computer Science
- International Symposium on Symbolic and Algebraic Computation
- International Workshop on First-Order Theorem Proving
S
- Scandinavian Symposium and Workshops on Algorithm Theory
- SWAT and WADS conferences
- Symposium on Computational Geometry
- Symposium on Discrete Algorithms
- Symposium on Foundations of Computer Science
- Symposium on Logic in Computer Science
- Symposium on Parallelism in Algorithms and Architectures
- Symposium on Principles of Distributed Computing
- Symposium on Theoretical Aspects of Computer Science
- Symposium on Theory of Computing