# 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

**CC: COMPLEXITY**

**CG: COMPUTATIONAL GEOMETRY**

- SOCG, Symposium on Computational Geometry
- CCCG, Canadian Conference on Computational Geometry
- EuroCG, European Workshop on Computational Geometry

**CR: CRYPTOGRAPHY AND SECURITY**

- 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

**DB: DATABASE THEORY**

- 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

**DC: DISTRIBUTED, PARALLEL, AND CLUSTER COMPUTING**

- 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

**DM: DISCRETE MATHEMATICS AND COMBINATORICS**

- WG, International Workshop on Graph-Theoretic Concepts in Computer Science
- LAGOS, Latin-American Algorithms, Graphs and Optimization Symposium

**DS: DATA STRUCTURES AND ALGORITHMS**

- 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

**FL: FORMAL LANGUAGES**

- DLT, International Conference on Developments in Language Theory
- LATA, Language and Automata Theory and Applications

**GT: ALGORITHMIC GAME THEORY**

- EC, Electronic Commerce
- SAGT, International Symposium on Algorithmic Game Theory
- WINE, Workshop on Internet and Network Economics

**LG: LEARNING THEORY**

**LO: LOGIC IN COMPUTER SCIENCE**

- 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

**PL: PROGRAMMING LANGUAGES**

- 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

**SC: SYMBOLIC COMPUTATION**

- ISSAC: International Symposium on Symbolic and Algebraic Computation
- FPSAC: Formal Power Series and Algebraic Combinatorics

**QUANTUM**

- 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

**RO: Robotics**

**COMPUTATIONAL BIOLOGY**

- RECOMB: Research in Computational Molecular Biology
- ISMB: Intelligent Systems for Molecular Biology
- WABI: Workshop on Algorithms in Bioinformatics

**OTHER**

- 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