List of computer science conferences

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

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

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:

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

Conferences on programming languages, programming language theory and compilers:

Conferences on software engineering:

Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:

Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems: