TCS Conferences and Workshops
Theoretical Computer Science Conferences and Workshops
The following is a list of conferences and workshops in theoretical computer science that were considered important to the CSTheory community. We will update this page periodically; in the meantime, please feel free to add to, or modify, the original community wiki question on CSTheory about this topic.
Other useful online resources include:
You can see a graphical representation of (most of) these TCS conferences and workshops, sorted and color-coded by important dates (like submission deadline) at the confsearch.org wiki by clicking on this Conference Calendar.
This page was last updated on 5 Oct 2011.
TCS Conferences and Workshops
GENERAL:
- STOC, ACM Symposium on the Theory of Computing
- FOCS, IEEE Symposium on Foundations of Computer Science
- ICALP EATCS International Colloquium on Automata, Languages and Programming (A: algorithms, complexity, B: logic, semantics, C: networks)
- STACS, Symposium on Theoretical Aspects of Computer Science
- FoSSaCS, Foundations of Software Science and Computation Structures
- MFCS, Mathematical Foundations of Computer Science
- FSTTCS, Foundations of Software Technology and Theoretical Computer Science
- COCOON, Computing and Combinatorics Conference
- ITCS, Innovations in Theoretical Computer Science
- FCT, Fundamentals of Computation Theory
- ISAAC, International Symposium on Algorithms and Computation
- LATIN, Latin American Symposium on Theoretical Informatics
- TAMC, Theory and Applications of Models of Computation
- COCOA, Conference on Combinatorial Optimization and Applications
- SOFSEM, Conference on Current Trends in Theory and Practice of Computer Science
- SOCG, Symposium on Computational Geometry
- CCCG, Canadian Conference on Computational Geometry
- EuroCG, European Workshop on Computational Geometry
- CRYPTO, International Cryptology Conference
- ASIACRYPT, Conference on the Theory and Application of Cryptology
- EUROCRYPT, Conference on the Theory and Applications of Cryptographic Techniques
- TCC, Theory of Cryptography Conference
- AFRICACRYPT, International Conference on Cryptology in Africa
- PODS, ACM Symposium on Principles of Database Systems
- ICDT, The international Conference on Database Theory
- AMW, Alberto Mendelzon International Workshop on Foundations of Data Management
- IPDPS, IEEE International Parallel andDistributed Processing Symposium
- PODC, ACM Symposium on Principles of Distributed Computing
- DISC, International Symposium on Distributed Computing
- SPAA, ACM Symposium on Parallelism in Algorithms and Architectures
- ICDCN, International Conference on Distributed Computing and Networking
- SIROCCO, International Colloquium on Structural Information and Communication Complexity
- OPODIS, International Conference on Principles of Distributed Systems
- SSS, International Symposium on Stabilization, Safety, and Security of Distributed Systems
- Algosensors, International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
- WG, International Workshop on Graph-Theoretic Concepts in Computer Science
- LAGOS, Latin-American Algorithms, Graphs and Optimization Symposium
- SODA, ACM-SIAM Symposium on Discrete Algorithms
- ESA, European Symposium on Algorithms (track A is theoretical)
- WADS, The Algorithms and Data Structures Symposium
- SWAT, Scandinavian Symposium and Workshops on Algorithm Theory
- ALENEX, Algorithm Engineering and Experimentation
- SAT, Theory and Applications of Satisfiability Testing
- IPCO, Integer Programming and Combinatorial Optimization
- APPROX/RANDOM, Workshop on Approximation Algorithms for Optimization Problems / Workshop on Randomization and Computation
- WAOA, Workshop on Approximation and Online Algorithms
- WAW, Workshop on Algorithms and Models for the Web-Graph
- IPEC, International Symposium on Parameterized and Exact Computation
- CPM, Combinatorial Pattern Matching
- DLT, International Conference on Developments in Language Theory
- LATA, Language and Automata Theory and Applications
- EC, Electronic Commerce
- SAGT, International Symposium on Algorithmic Game Theory
- WINE, Workshop on Internet and Network Economics
- LICS, IEEE Symposium on Logic in Computer Science
- CONCUR, International Conference on Concurrency Theory
- CSL, Computer Science Logic
- CiE, Computablility in Europe
- LCC, An International Workshop on Logic and Computational Complexity
- POPL, Principles of Programming Languages
- ICFP, International Conference on Functional Programming
- ESOP, European Symposium On Programming
- MSFP, Mathematically Structured Functional Programming
- MFPS, Mathematical Foundations of Programming Semantics
- ISSAC: International Symposium on Symbolic and Algebraic Computation
- FPSAC: Formal Power Series and Algebraic Combinatorics
- QIP, Quantum Information Processing
- QCMC, International Conference on Quantum Communication, Information and Computing
- TQC, Theory of Quantum Computation, Communication and Cryptography
- AQIS, Asian Quantum Information Science Conference
- QCRYPT, Conference on Quantum Cryptography
- APCQIS, Asia Pacific Conference in Quantum Information Science
- QEC, International Conference on Quantum Error Correction
- RECOMB: Research in Computational Molecular Biology
- ISMB: Intelligent Systems for Molecular Biology
- WABI: Workshop on Algorithms in Bioinformatics
- GD, International Symposium on Graph Drawing
- FUN, International Conference on Fun With Algorithms
- DNA, DNA Computing and Molecular Programming (DNA computing, Track A is theoretical, track B is experimental)
- DCM, Developments in Computational Models