List of computer science conferences

This is a list of current and past academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names.

General

• FCRC – Federated Computing Research Conference

Algorithms and theory

Main article: Theoretical computer science § Conferences

Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:

• CCC - Computational Complexity Conference
• FCT – International Symposium on Fundamentals of Computation Theory
• FOCS – IEEE Symposium on Foundations of Computer Science
• ICALP – International Colloquium on Automata, Languages and Programming
• ISAAC – International Symposium on Algorithms and Computation
• STACS – Symposium on Theoretical Aspects of Computer Science
• STOC – ACM Symposium on Theory of Computing

Algorithms

Conferences whose topic is algorithms and data structures considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:

• ESA – European Symposium on Algorithms
• SODA – ACM–SIAM Symposium on Discrete Algorithms
• SWAT and WADS – SWAT and WADS conferences

Geometric algorithms

Conferences on computational geometry, graph drawing, and other application areas of geometric computing:

• GD – International Symposium on Graph Drawing
• SoCG – Symposium on Computational Geometry

Other specialized subtopics

• CIAA – International Conference on Implementation and Application of Automata
• CCC – Computational Complexity Conference
• DCFS – International Workshop on Descriptional Complexity of Formal Systems
• DLT – International Conference on Developments in Language Theory
• ISSAC – International Symposium on Symbolic and Algebraic Computation
• RP – International Conference on Reachability Problems
• SEA – Symposium on Experimental Algorithms

Languages and software

Programming languages

Conferences on programming languages, programming language theory and compilers:

• CC International Conference on Compiler Construction
• ESOP – ETAPS European Symposium on Programming
• HOPL – ACM SIGPLAN History of Programming Languages Conference
• ICFP – ACM SIGPLAN International Conference on Functional Programming
• ICLP – ALP