This is a list of

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an Convention (meeting), event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic jou ...

s in

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied 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

Conferences accepting a broad range of topics from

theoretical computer science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

, including

algorithm In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...

data structure In computer science, a data structure is a data organization and storage format that is usually chosen for Efficiency, efficient Data access, access to data. More precisely, a data structure is a collection of data values, the relationships amo ...

s, computability, computational complexity, automata theory and

formal language In logic, mathematics, computer science, and linguistics, a formal language is a set of strings whose symbols are taken from a set called "alphabet". The alphabet of a formal language consists of symbols that concatenate into strings (also c ...

s: * 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

Conferences whose topic is

s and

s 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

Logic

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

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 * 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

Programming languages

Conferences on

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is clos ...

and

compiler In computing, a compiler is a computer program that Translator (computing), translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primaril ...

s: * 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

Conferences on

software engineering Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

: * ASE – IEEE/ACM International Conference on Automated Software Engineering * ICSE – International Conference on Software Engineering * ICSR – International Conference on Software Reuse * ISSRE – IEEE International Symposium on Software Reliability Engineering *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 *WWDC -

Worldwide Developers Conference The Worldwide Developers Conference (WWDC) is an information technology conference held annually by Apple Inc. The conference is currently held at Apple Park in California. The event is used to showcase new software and technologies in the macO ...

Formal methods

Conferences on

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

in software engineering, including formal specification,

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

, 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

Conferences on concurrent, distributed, and

parallel computing Parallel computing is a type of computing, computation in which many calculations or Process (computing), processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. ...

, fault-tolerant systems, and dependable systems: * CONCUR - International Conference on Concurrency Theory * DEBS - ACM International Conference on Distributed Event-Based Systems * DISC -

International Symposium on Distributed Computing The International Symposium on Distributed Computing (DISC) is an annual academic conference for refereed presentations, whose focus is the theory, design, analysis, implementation, and application of distributed systems and networks. The Symposium ...

* 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 * 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 In Ancient Greece, the symposium (, ''sympósion'', from συμπίνειν, ''sympínein'', 'to drink together') was the part of a banquet that took place after the meal, when drinking for pleasure was accompanied by music, dancing, recitals, o ...

* SRDS - IEEE International Symposium on Reliable Distributed Systems

High-performance computing

Conferences on

high-performance computing High-performance computing (HPC) is the use of supercomputers and computer clusters to solve advanced computation problems. Overview HPC integrates systems administration (including network and security knowledge) and parallel programming into ...

cluster computing A computer cluster is a set of computers that work together so that they can be viewed as a single system. Unlike Grid computing, grid computers, computer clusters have each Node (networking), node set to perform the same task, controlled an ...

, and

grid computing Grid computing is the use of widely distributed computer resources to reach a common goal. A computing grid can be thought of as a distributed system with non-interactive workloads that involve many files. Grid computing is distinguished fro ...

: * HiPC - International Conference on High Performance Computing * SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis

Operating systems

Conferences on

operating system An operating system (OS) is system software that manages computer hardware and software resources, and provides common daemon (computing), services for computer programs. Time-sharing operating systems scheduler (computing), schedule tasks for ...

s, storage systems and middleware: * ATC - USENIX Annual Technical Conference * Middleware - ACM/IFIP/USENIX International Middleware Conference * SOSP - ACM

Symposium on Operating Systems Principles In Ancient Greece, the symposium (, ''sympósion'', from συμπίνειν, ''sympínein'', 'to drink together') was the part of a banquet that took place after the meal, when drinking for pleasure was accompanied by music, dancing, recitals, o ...

* OSDI - USENIX Symposium on Operating Systems Design and Implementation * SYSTOR - ACM International Systems and Storage Conference

Computer architecture

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

Conferences on computer-aided design and

electronic design automation Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing Electronics, electronic systems such as integrated circuits and printed circuit boards. The tools wo ...

: * 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

Conferences on

computer networking A computer network is a collection of communicating computers and other devices, such as printers and smart phones. In order to communicate, the computers and devices must be connected by wired media like copper cables, optical fibers, or b ...

: * 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

Wireless network A wireless network is a computer network that uses wireless data connections between network nodes. Wireless networking allows homes, telecommunications networks, and business installations to avoid the costly process of introducing cables int ...

s and

mobile computing Mobile computing is human–computer interaction in which a computer is expected to be transported during normal usage and allow for transmission of data, which can include voice and video transmissions. Mobile computing involves mobile commun ...

, including ubiquitous and pervasive computing, wireless ad hoc networks and

wireless sensor network Wireless sensor networks (WSNs) refer to networks of spatially dispersed and dedicated sensors that monitor and record the physical conditions of the environment and forward the collected data to a central location. WSNs can measure environmental ...

s: * 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

Conferences on

computer security Computer security (also cybersecurity, digital security, or information technology (IT) security) is a subdiscipline within the field of information security. It consists of the protection of computer software, systems and computer network, n ...

and

privacy Privacy (, ) is the ability of an individual or group to seclude themselves or information about themselves, and thereby express themselves selectively. The domain of privacy partially overlaps with security, which can include the concepts of a ...

: * CCS - Computer and Communications Security * DSN - International Conference on Dependable Systems and Networks * NDSS - Network and Distributed System Security * S&P - IEEE Symposium on Security and Privacy * USENIX Security - USENIX Security Symposium

Cryptography

Cryptography Cryptography, or cryptology (from "hidden, secret"; and ''graphein'', "to write", or ''-logy, -logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of Adversary (cryptography), ...

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

Data management

Conferences on

database In computing, a database is an organized collection of data or a type of data store based on the use of a database management system (DBMS), the software that interacts with end users, applications, and the database itself to capture and a ...

information systems An information system (IS) is a formal, sociotechnical, organizational system designed to collect, process, store, and distribute information. From a sociotechnical perspective, information systems comprise four components: task, people, structu ...

information retrieval Information retrieval (IR) in computing and information science is the task of identifying and retrieving information system resources that are relevant to an Information needs, information need. The information need can be specified in the form ...

, data mining and the

World Wide Web The World Wide Web (WWW or simply the Web) is an information system that enables Content (media), content sharing over the Internet through user-friendly ways meant to appeal to users beyond Information technology, IT specialists and hobbyis ...

: * 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 The ACM Web Conference (formerly known as International World Wide Web Conference, abbreviated as WWW) is a yearly international academic conference on the topic of the future direction of the World Wide Web. The first conference of many was he ...

Artificial intelligence

Conferences on

artificial intelligence Artificial intelligence (AI) is the capability of computer, computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of re ...

and

machine learning Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...

: * 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

Conferences on

Evolutionary computation Evolutionary computation from computer science is a family of algorithms for global optimization inspired by biological evolution, and the subfield of artificial intelligence and soft computing studying these algorithms. In technical terms ...

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

Automated reasoning

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

Conferences on

computer vision Computer vision tasks include methods for image sensor, acquiring, Image processing, processing, Image analysis, analyzing, and understanding digital images, and extraction of high-dimensional data from the real world in order to produce numerical ...

(including also image analysis) and

pattern recognition Pattern recognition is the task of assigning a class to an observation based on patterns extracted from data. While similar, pattern recognition (PR) is not to be confused with pattern machines (PM) which may possess PR capabilities but their p ...

: * BMVC - British Machine Vision Conference * CVPR -

IEEE Conference on Computer Vision and Pattern Recognition The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE has a corporate office ...

* ECCV - European Conference on Computer Vision * ICCV - International Conference on Computer Vision * WACV - IEEE/CVF Winter Conference on Applications of Computer Vision * SCIA - Scandinavian Conference on Image Analysis * SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation

Natural language processing

Conferences on

computational linguistics Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions. In general, computational linguistics ...

and

natural language processing Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related ...

: * 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

Conferences on

computer graphics Computer graphics deals with generating images and art with the aid of computers. Computer graphics is a core technology in digital photography, film, video games, digital art, cell phone and computer displays, and many specialized applications. ...

, geometry processing,

image processing An image or picture is a visual representation. An image can be two-dimensional, such as a drawing, painting, or photograph, or three-dimensional, such as a carving or sculpture. Images may be displayed through other media, including a pr ...

, and

multimedia Multimedia is a form of communication that uses a combination of different content forms, such as Text (literary theory), writing, Sound, audio, images, animations, or video, into a single presentation. T ...

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

Human–computer interaction

Conferences on

human–computer interaction Human–computer interaction (HCI) is the process through which people operate and engage with computer systems. Research in HCI covers the design and the use of computer technology, which focuses on the interfaces between people (users) and comp ...

and

user interface In the industrial design field of human–computer interaction, a user interface (UI) is the space where interactions between humans and machines occur. The goal of this interaction is to allow effective operation and control of the machine fro ...

s: * 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

Conferences on

bioinformatics Bioinformatics () is an interdisciplinary field of science that develops methods and Bioinformatics software, software tools for understanding biological data, especially when the data sets are large and complex. Bioinformatics uses biology, ...

and

computational biology Computational biology refers to the use of techniques in computer science, data analysis, mathematical modeling and Computer simulation, computational simulations to understand biological systems and relationships. An intersection of computer sci ...

: * 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

External links

DBLP database with conferences and workshops

List of computer science conferences
ranked by

h-index The ''h''-index is an author-level metric that measures both the productivity and citation impact of the publications, initially used for an individual scientist or scholar. The ''h''-index correlates with success indicators such as winning t ...

{{DEFAULTSORT:Computer science conferences * Computing-related lists Lists of conferences Comp

General

Algorithms and theory

Algorithms

Geometric algorithms

Logic

Other specialized subtopics

Languages and software

Programming languages

Software engineering

Formal methods

Concurrent, distributed and parallel computing

High-performance computing

Operating systems

Computer architecture

Computer-aided design

Computer networking

Wireless networks and mobile computing

Security and privacy

Cryptography

Data management

Artificial intelligence

Evolutionary computation

Automated reasoning

Computer vision

Natural language processing

Computer graphics

Human–computer interaction

Bioinformatics and computational biology

See also

External links