**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) - FOSSACS, Foundations of Software Science and Computation Structures
- STACS, Symposium on Theoretical Aspects of Computer Science
- 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
- CSR, Computer Science in Russia
- ISAAC, International Symposium on Algorithms and Computation
- TAMC, Theory and Applications of Models of Computation
- COCOA, Conference on Combinatorial Optimization and Applications
- FM, Formal Methods
- FCT, Fundamentals of Computation Theory
- LATIN, Latin American Symposium on Theoretical Informatics
- SOFSEM, Conference on Current Trends in Theory and Practice of Computer Science

**CC: COMPLEXITY**

- CCC, IEEE Conference on Computational Complexity
- SIROCCO, International Colloquium on Structural Information and Communication 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
- LATINCRYPT, International Conference on Cryptology and Information Security in Latin America
- TCC, Theory of Cryptography Conference
- S&P, IEEE Symposium on Security and Privacy
- CCS, ACM Conference on Computer and Communication Security
- POST, Principles of Security and Trust
- CSF, Computer Security Foundations Symposium

**DB: DATABASE THEORY**

- SIGMOD/PODS, ACM Symposium on Principles of Database Systems (both accept theory, but SIGMOD has broader scope)
- ICDT, The international Conference on Database Theory
- VLDB, Very Large Data Bases
- AMW, Alberto Mendelzon International Workshop on Foundations of Data Management

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

- PODC, ACM Symposium on Principles of Distributed Computing
- DISC, International Symposium on Distributed Computing
- SPAA, ACM Symposium on Parallelism in Algorithms and Architectures
- IPDPS, IEEE International Parallel and Distributed Processing Symposium
- ICDCN, International Conference on Distributed Computing and Networking
- 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
- SAT, Theory and Applications of Satisfiability Testing
- SWAT, Scandinavian Symposium and Workshops on Algorithm Theory
- ALENEX, Algorithm Engineering and Experimentation
- 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
- IPEC, International Symposium on Parameterized and Exact Computation
- WAW, Workshop on Algorithms and Models for the Web-Graph
- CPM, Combinatorial Pattern Matching
- CP, Principles and Practice of Constraint Programming

**FL: AUTOMATA THEORY AND FORMAL LANGUAGES**

- DLT, International Conference on Developments in Language Theory
- LATA, Language and Automata Theory and Applications
- AFL, Automata and Formal Languages
- NCMA, Non-Classical Models of Automata and Applications
- CIAA, International Conference on Implementation and Application of Automata
- DFCS, Descriptional Complexity of Formal Systems

**GT: ALGORITHMIC GAME THEORY**

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

**LG: LEARNING THEORY**

- COLT, Conference on Learning Theory
- ALT, Algorithmic 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
- ETAPS, European Joint Conferences on Theory and Practice of Software (includes FOSSACS, ESOP and POST, see separate entries)
- 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
- CASC: Computer Algebra in Scientific Computing
- SNC: Symbolic Numeric Computation

**THEOREM PROVING**

- CADE, International Conference on Automated Deduction
- ITP, Interactive Theorem Proving
- CPP, Certified Proofs and Programs

**QUANTUM**

- QIP, Workshop on 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
- QEC, International Conference on Quantum Error Correction
- CEQIP, Central European Quantum Information Processing Workshop

**RO: Robotics**

- WAFR, Workshop on the Algorithmic Foundation of Robotics.

**COMPUTATIONAL BIOLOGY**

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

**OTHER**

- CAV, Computer Aided Verification
- 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
- RTA, Rewriting techniques and applications
- TLCA, Typed lambda calculi and applications
- UCNC, Unconventional Computation & Natural Computation

**Reference**: http://cstheory.stackexchange.com/questions/7900/list-of-tcs-conferences-and-workshops

Advertisements