List of TCS conferences and workshops I would like to ask for help in compiling a list of as many TCS-related conferences and workshops as possible.  My main motivation for doing this is to plan possible blog coverage of more theory venues -- finding correspondents attending these events who would be willing to write either brief or in-depth blog entries about events they are attending.  Beyond that, I hope a list like this would give everyone a better sense of the lay of the theory land.

I'll seed the question with an answer containing a few "obvious" conferences.  Please feel free to edit my answer and/or post additional answers of your own. 


  Standard abbreviation of conference, name of conference, subject matter, any additional notes.


Intended as community wiki.
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
TASE, Theoretical Aspects of Software engineering

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
EUROCRYPT, Conference on the Theory and Applications of Cryptographic Techniques
ASIACRYPT, Conference on the Theory and Application of Cryptology
LATINCRYPT, International Conference on Cryptology and Information Security in Latin America
AFRICACRYPT, International Conference on Cryptology in Africa
PQCRYPTO, International Conference on Post-Quantum Cryptography
TCC, Theory of Cryptography Conference
PKC, International Conference on Practice and Theory in Public Key Cryptography
FSE, Conference on Fast Software Encryption
CHES, Conference on Cryptographic Hardware and Embedded Systems
IEEE S&amp;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
ITC, Information Theoretic Cryptography

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
SOSA, Symposium on Simplicity in Algorithms
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
IWOCA, International Workshop on Combinatorial Algorithms
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
WoLLIC, Workshop on Logic, Language, Information and Computation
Highlights of logic, games and automata

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 &amp; Natural Computation