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.

## General

[edit]

* FCRC – Federated Computing Research Conference

## Algorithms and theory

[edit]

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
* MFCS – International Symposium on Mathematical Foundations of Computer Science
* STACS – Symposium on Theoretical Aspects of Computer Science
* STOC – ACM Symposium on Theory of Computing
* WoLLIC – Workshop on Logic, Language, Information and Computation

### Algorithms

[edit]

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

[edit]

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

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

### Logic

[edit]

See also: § Formal methods, and § Automated reasoning

* LICS – ACM–IEEE Symposium on Logic in Computer Science
* RTA – International Conference on Rewriting Techniques and Applications

### Other specialized subtopics

[edit]

* 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
* Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency
* RP – International Conference on Reachability Problems
* SEA – Symposium on Experimental Algorithms

## Languages and software

[edit]

### Programming languages

[edit]

Conferences on programming languages, programming language theory and compilers:

* CC International Conference on Compiler Construction
* ECOOP – AITO European Conference on Object-Oriented Programming
* ESOP – ETAPS European Symposium on Programming
* HOPL – ACM SIGPLAN History of Programming Languages Conference
* ICFP – ACM SIGPLAN International Conference on Functional Programming
* ICLP – ALP International Conference on Logic Programming
* ISMM – ACM SIGPLAN International Symposium on Memory Management
* OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
* POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
* PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation

### Software engineering

[edit]

Conferences on software engineering:

* ASE – IEEE/ACM International Conference on Automated Software Engineering
* ICSE – International Conference on Software Engineering
* ICSR – International Conference on Software Reuse
* TACAS - ETAPS International Conference on Tools and Algorithms for the Construction and Analysis of Systems
* FoSSaCS - ETAPS International Conference on Foundations of Software Science and Computation Structures
* FASE - ETAPS International Conference on Fundamental Approaches to Software Engineering

### Formal methods

[edit]

See also: § Logic, and § Automated reasoning

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

* CAV – Computer Aided Verification
* FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems

## Concurrent, distributed and parallel computing

[edit]

Main article: List of distributed computing conferences

See also: § Computer networking

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

* CCGrid - IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing
* CLUSTER - IEEE International Conference on Cluster Computing
* CONCUR - International Conference on Concurrency Theory
* DEBS - ACM International Conference on Distributed Event-Based Systems
* DISC - International Symposium on Distributed Computing
* DSN - International Conference on Dependable Systems and Networks
* ICDCS - IEEE International Conference on Distributed Computing Systems
* ICPADS - IEEE International Conference on Parallel and Distributed Systems
* ICPP - International Conference on Parallel Processing
* IPDPS - IEEE International Parallel and Distributed Processing Symposium
* PODC - ACM Symposium on Principles of Distributed Computing
* PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
* SIROCCO - International Colloquium on Structural Information and Communication Complexity
* SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
* SRDS - IEEE International Symposium on Reliable Distributed Systems

### High-performance computing

[edit]

Conferences on high-performance computing, cluster computing, and grid computing:

* HiPC - International Conference on High Performance Computing
* SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis
* HPDC - ACM High Performance Parallel and Distributed Computing
* ICS - ACM International Conference on Supercomputing

## Operating systems

[edit]

See also: § Computer networking, and § High-performance computing

Conferences on operating systems, storage systems and middleware:

* ATC - USENIX Annual Technical Conference
* Middleware - ACM/IFIP/USENIX International Middleware Conference
* SOSP - ACM Symposium on Operating Systems Principles
* OSDI - USENIX Symposium on Operating Systems Design and Implementation
* SYSTOR - ACM International Systems and Storage Conference

## Computer architecture

[edit]

Conferences on computer architecture:

* ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems
* ISCA - International Symposium on Computer Architecture
* MICRO - IEEE/ACM International Symposium on Microarchitecture

### Computer-aided design

[edit]

Conferences on computer-aided design and electronic design automation:

* ASP-DAC - Asia and South Pacific Design Automation Conference
* DAC - Design Automation Conference
* DATE - Design, Automation, and Test in Europe
* ICCAD - International Conference on Computer-Aided Design
* ISPD - International Symposium on Physical Design

## Computer networking

[edit]

See also: § Concurrent, distributed and parallel computing

Conferences on computer networking:

* GlobeCom - IEEE Global Communications Conference
* ICC - IEEE International Conference on Communications
* ICSOC - International Conference on Service Oriented Computing
* INFOCOM - IEEE Conference on Computer Communications
* SIGMETRICS - ACM SIGMETRICS
* WINE - The Workshop on Internet & Network Economics

### Wireless networks and mobile computing

[edit]

Wireless networks and mobile computing, including ubiquitous and pervasive computing, wireless ad hoc networks and wireless sensor networks:

* EWSN - European Conference on Wireless Sensor Networks
* IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks
* ISWC - International Symposium on Wearable Computers
* SenSys - ACM Conference on Embedded Networked Sensor Systems

## Security and privacy

[edit]

Conferences on computer security and privacy:

* DSN - International Conference on Dependable Systems and Networks

### Cryptography

[edit]

Cryptography conferences:

* ANTS - Algorithmic Number Theory Symposium
* RSA - RSA Conference

## Data management

[edit]

Conferences on databases, information systems, information retrieval, data mining and the World Wide Web:

* BTW - GI Conference on Database Systems for Business, Technology and Web
* CIDR - Conference on Innovative Data Systems Research
* CIKM - ACM Conference on Information and Knowledge Management
* ECIR - European Conference on Information Retrieval
* ECIS - European Conference on Information Systems
* ER - International Conference on Conceptual Modeling
* ICDT - International Conference on Database Theory
* ICIS - International Conference on Information Systems
* ISWC - International Semantic Web Conference
* JCDL - ACM/IEEE Joint Conference on Digital Libraries
* PODS - ACM Symposium on Principles of Database Systems
* SIGMOD - ACM Special Interest Group on Management of Data
* VLDB - International Conference on Very Large Data Bases
* WWW - World Wide Web Conference

## Artificial intelligence

[edit]

Conferences on artificial intelligence and machine learning:

* AAAI - AAAI Conference on Artificial Intelligence
* AAMAS - International Conference on Autonomous Agents and Multiagent Systems
* ICAPS - International Conference on Automated Planning and Scheduling
* CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
* ECAI - European Conference on Artificial Intelligence
* ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
* ICML - International Conference on Machine Learning
* ICLR - International Conference on Learning Representations
* IJCAI - International Joint Conference on Artificial Intelligence
* ISWC - International Semantic Web Conference
* NeurIPS - Conference on Neural Information Processing Systems
* RuleML - RuleML Symposium

### Evolutionary computation

[edit]

Conferences on Evolutionary computation.

* AE - Artificial Evolution Conference
* CEC - IEEE Congress on Evolutionary Computation
* GECCO - Genetic and Evolutionary Computation Conference

### Automated reasoning

[edit]

See also: § Logic, and § Formal methods

Conferences on automated reasoning:

* IJCAR - International Joint Conference on Automated Reasoning
* LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning
* RuleML - RuleML Symposium
* TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
* WoLLIC - Workshop on Logic, Language, Information and Computation

### Computer vision

[edit]

See also: § Computer graphics

Conferences on computer vision (including also image analysis) and pattern recognition:

* BMVC - British Machine Vision Conference
* CVPR - IEEE Conference on Computer Vision and Pattern Recognition
* ECCV - European Conference on Computer Vision
* ICCV - International Conference on Computer Vision
* SCIA - Scandinavian Conference on Image Analysis
* SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation

### Natural language processing

[edit]

Conferences on computational linguistics and natural language processing:

* EMNLP - Empirical Methods in Natural Language Processing
* COLING - International Committee on Computational Linguistics
* TSD - Text, Speech and Dialogue
* CICLing - International Conference on Intelligent Text Processing and Computational Linguistics

## Computer graphics

[edit]

See also: § Computer vision

Conferences on computer graphics, geometry processing, image processing, and multimedia:

* MM - ACM International Conference on Multimedia
* SGP - Symposium on Geometry Processing
* SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques

## Human–computer interaction

[edit]

Conferences on human–computer interaction and user interfaces:

* CHI - ACM Conference on Human Factors in Computing Systems
* GI - Graphics Interface
* MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
* UIST - ACM Symposium on User Interface Software and Technology
* UMAP - ACM International Conference on User Modeling, Adaptation, and Personalization

## Bioinformatics and computational biology

[edit]

Conferences on bioinformatics and computational biology:

* CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
* ISMB - Intelligent Systems for Molecular Biology
* PSB - Pacific Symposium on Biocomputing
* RECOMB - Research in Computational Molecular Biology

## See also

[edit]

* List of computer science conference acronyms
* List of computer science journals
* Outline of computer science

## External links

[edit]

* DBLP database with conferences and workshops
* List of computer science conferences ranked by h-index