Conference List

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s