# Category:Theoretical computer science conferences

Jump to navigation
Jump to search

This content was retrieved from
Wikipedia : http://en.wikipedia.org/wiki/Category:Theoretical_computer_science_conferencesAcademic conferences in the field of theoretical computer science.

## Pages in category "Theoretical computer science conferences"

The following 38 pages are in this category, out of 38 total. This list may not reflect recent changes (learn more).

### C

### I

- 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

### R

### 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

This page is based on the copyrighted Wikipedia article "Category:Theoretical computer science conferences"; it is used under the Creative Commons
Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may
redistribute it, verbatim or modified, providing that you comply with
the terms of the CC-BY-SA