List of software engineering conferences
   HOME

TheInfoList



OR:

This is a list of
academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...
s in
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
. 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 (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...
, including
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specificat ...
s,
data structure In computer science, a data structure is a data organization, management, and storage format that is usually chosen for efficient access to data. More precisely, a data structure is a collection of data values, the relationships among them, a ...
s,
computability Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is close ...
,
computational complexity In computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) ...
, automata theory and
formal language In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symb ...
s: * CCC - Computational Complexity Conference * FCT – International Symposium on Fundamentals of Computation Theory * FOCS – IEEE
Symposium on Foundations of Computer Science The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society. As writes, FOCS and its annual Association for Computing ...
* ICALP – International Colloquium on Automata, Languages and Programming * ISAAC –
International Symposium on Algorithms and Computation ISAAC, the International Symposium on Algorithms and Computation, is an academic conference in the field of theoretical computer science. ISAAC has been organized annually since 1990. The proceedings are published by Springer-Verlag in the LNCS '' ...
* MFCS –
International Symposium on Mathematical Foundations of Computer Science MFCS, the International Symposium on Mathematical Foundations of Computer Science is an academic conference organized annually since 1972. The topics of the conference cover the entire field of theoretical computer science. Up to 2012, the confe ...
* STACS – Symposium on Theoretical Aspects of Computer Science * STOC – ACM Symposium on Theory of Computing * WoLLIC –
Workshop on Logic, Language, Information and Computation WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the con ...


Algorithms

Conferences whose topic is
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specificat ...
s and
data structure In computer science, a data structure is a data organization, management, and storage format that is usually chosen for efficient access to data. More precisely, a data structure is a collection of data values, the relationships among them, a ...
s considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory: * ESA –
European Symposium on Algorithms The European Symposium on Algorithms (ESA) is an international conference covering the field of algorithms. It has been held annually since 1993, typically in early Autumn in a different European location each year. Like most theoretical computer ...
* SODA – ACM–SIAM
Symposium on Discrete Algorithms The Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) is an academic conference in the fields of algorithm design and discrete mathematics. It is considered to be one of the top conferences for research in algorithms. SODA has been organized a ...
* SWAT –
Scandinavian Symposium and Workshops on Algorithm Theory WADS, the Algorithms and Data Structures Symposium, is an international academic conference in the field of computer science, focusing on algorithms and data structures.Algorithms and Data Structures Symposium WADS, the Algorithms and Data Structures Symposium, is an international academic conference in the field of computer science, focusing on algorithms and data structures.Workshop on Approximation and Online Algorithms The European Symposium on Algorithms (ESA) is an international conference covering the field of algorithms. It has been held annually since 1993, typically in early Autumn in a different European location each year. Like most theoretical computer ...


Geometric algorithms

Conferences on
computational geometry Computational geometry is a branch of computer science devoted to the study of algorithms which can be stated in terms of geometry. Some purely geometrical problems arise out of the study of computational geometric algorithms, and such problems ar ...
,
graph drawing Graph drawing is an area of mathematics and computer science combining methods from geometric graph theory and information visualization to derive two-dimensional depictions of graph (discrete mathematics), graphs arising from applications such a ...
, and other application areas of geometric computing: * GD –
International Symposium on Graph Drawing The International Symposium on Graph Drawing (GD) is an annual academic conference in which researchers present peer reviewed papers on graph drawing, information visualization of network information, geometric graph theory, and related topics. S ...
* SoCG – ACM Symposium on Computational Geometry


Logic

* LICS – ACM–IEEE
Symposium on Logic in Computer Science The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear i ...
* RTA –
International Conference on Rewriting Techniques and Applications Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, un ...


Other specialized subtopics

* CIAA –
International Conference on Implementation and Application of Automata CIAA, the International Conference on Implementation and Application of Automata is an annual academic conference in the field of computer science. Its purpose is to bring together members of the academic, research, and industrial community who h ...
* CCC – Computational Complexity Conference * DCFS –
International Workshop on Descriptional Complexity of Formal Systems DCFS, the International Workshop on Descriptional Complexity of Formal Systems is an annual academic conference in the field of computer science. Beginning with the 2011 edition, the proceedings of the workshop appear in the series Lecture Notes ...
* DLT – International Conference on Developments in Language Theory * ISSAC –
International Symposium on Symbolic and Algebraic Computation ISSAC, the International Symposium on Symbolic and Algebraic Computation, is an academic conference in the field of computer algebra. ISSAC has been organized annually since 1988, typically in July. The conference is regularly sponsored by the Ass ...
* Petri Nets -
International Conference on Applications and Theory of Petri Nets and Concurrency Petri Nets, the International Conference on Applications and Theory of Petri Nets and Concurrency is an academic conference organized annually by the Petri net community. The conference was first organized in 1980 Strasbourg, France Since then t ...
* RP –
International Conference on Reachability Problems RP, the International Conference on Reachability Problems is an annual academic conference in the field of computer science. The RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachab ...
* SEA –
Symposium on Experimental Algorithms The International Symposium on Experimental Algorithms (SEA), previously known as Workshop on Experimental Algorithms (WEA), is a computer science conference in the area of algorithm engineering Algorithm engineering focuses on the design, analys ...


Languages and software


Programming languages

Conferences on
programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...
s,
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 translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs that ...
s: * CC
International Conference on Compiler Construction International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * International (New Order album), ' ...
* ECOOP – AITO
European Conference on Object-Oriented Programming The European Conference on Object-Oriented Programming (ECOOP), is an annual conference covering topics on object-oriented programming systems, languages and applications. Like other conferences, ECOOP offers various tracks and many simultaneous ...
* ESOP – ETAPS
European Symposium on Programming The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. * According tCORE Ranking ESOP has rank A (i.e. "e ...
* HOPL – ACM SIGPLAN History of Programming Languages Conference * ICFP – ACM SIGPLAN
International Conference on Functional Programming The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 (Functional Programming). The con ...
* ICLP – ALP
International Conference on Logic Programming The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer-reviewed papers with the p ...
* ISMM – ACM SIGPLAN International Symposium on Memory Management * OOPSLA – ACM SIGPLAN
Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) is an annual Association for Computing Machinery, ACM research conference. OOPSLA mainly takes place in the United States, while the sister conference of OOPSLA, ECOOP, is ty ...
* POPL – ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of progr ...
* PLDI – ACM SIGPLAN
Conference on Programming Language Design and Implementation Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Ch ...


Software engineering

Conferences on
software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...
: * ASE – IEEE/ACM
International Conference on Automated Software Engineering The International Conference on Automated Software Engineering (ASE) is a large annual software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the prin ...
* ICSE – International Conference on Software Engineering * ICSR –
International Conference on Software Reuse The International Conference on Software Reuse (ICSR), is the primary scientific conference on software reuse, domain analysis, and domain engineering. ICSR includes software reuse researchers, practitioners, and managers. The conference provides ...
*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

Conferences on formal methods 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 intended algorithms underlying a system with respect to a certain formal specification or property, using formal metho ...
, and static code analysis: * CAV –
Computer Aided Verification In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods ...
* FORTE – IFIP
International Conference on Formal Techniques for Networked and Distributed Systems The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec (Distributed Computing Techniques) which also includes the International Conference on ...


Concurrent, distributed and parallel computing

Conferences on
concurrent Concurrent means happening at the same time. Concurrency, concurrent, or concurrence may refer to: Law * Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea'' * Concurring opinion (also called a "concurrence"), a ...
, distributed, and
parallel computing Parallel computing is a type of computation in which many calculations or processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. There are several different fo ...
,
fault-tolerant system Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of one or more faults within some of its components. If its operating quality decreases at all, the decrease is proportional to the ...
s, and dependable systems: * CONCUR -
International Conference on Concurrency Theory The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according ...
* DEBS - ACM International Conference on
Distributed Event-Based Systems The International Conference on Distributed Event-Based Systems is a conference in computer science. History The DEBS event began as a series of five workshops run annually from 2002 to 2006. These DEBS workshops were co-located variously with ...
* 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 The International Conference on Dependable Systems and Networks (or DSN) is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the main paper ...
* ICDCS - IEEE
International Conference on Distributed Computing Systems The International Conference on Distributed Computing Systems (ICDCS) is the oldest conference in the field of distributed computing systems in the world. It was launched by the IEEE Computer Society Technical Committee on Distributed Processing ...
* 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 The Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Scope and rela ...
* PPoPP - ACM SIGPLAN
Symposium on Principles and Practice of Parallel Programming PPoPP, the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, is an academic conference in the field of parallel programming. PPoPP is sponsored by the Association for Computing Machinery special interest group SIGPLAN. Hi ...
* SIROCCO -
International Colloquium on Structural Information and Communication Complexity The International Colloquium on Structural Information and Communication Complexity (SIROCCO) is an annual academic conference with refereed presentations, in the field of Distributed Computing with a special focus on the interplay between structu ...
* SPAA - ACM Symposium on Parallelism in Algorithms and Architectures * SRDS - IEEE
International Symposium on Reliable Distributed Systems The International Symposium on Reliable Distributed Systems (SRDS) is an academic conference covering distributed systems design and development, particularly with properties such as reliability, availability, safety, security and real time. The sym ...


High-performance computing

Conferences on
high-performance computing High-performance computing (HPC) uses supercomputers and computer clusters to solve advanced computation problems. Overview HPC integrates systems administration (including network and security knowledge) and parallel programming into a mult ...
, cluster computing, 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 from co ...
: * HiPC -
International Conference on High Performance Computing The International Conference on High Performance Computing (or HiPC) is an international meeting on high performance computing. It serves as a forum to present current work by researchers from around the world as well as highlight activities in A ...
* SC -
ACM/IEEE Supercomputing Conference SC (formerly Supercomputing), the International Conference for High Performance Computing, Networking, Storage and Analysis, is the annual conference established in 1988 by the Association for Computing Machinery and the IEEE Computer Society. In ...
* CCGRID - Cluster, Cloud and Grid Computing


Operating systems

Conferences on
operating system An operating system (OS) is system software that manages computer hardware, software resources, and provides common services for computer programs. Time-sharing operating systems schedule tasks for efficient use of the system and may also in ...
s,
storage system Computer data storage is a technology consisting of computer components and recording media that are used to retain digital data. It is a core function and fundamental component of computers. The central processing unit (CPU) of a computer ...
s and
middleware Middleware is a type of computer software that provides services to software applications beyond those available from the operating system. It can be described as "software glue". Middleware makes it easier for software developers to implement co ...
: * ATC -
USENIX Annual Technical Conference The USENIX Annual Technical Conference (USENIX ATC, or, canonically, USENIX) is a conference of computing professions sponsored by the USENIX association. The conference includes computing tutorials, and a single track technical session for presen ...
* FAST - USENIX Conference on File and Storage Technologies * Middleware - ACM/IFIP/USENIX
International Middleware Conference The International Middleware Conference brings together academic and industrial delegates who have an interest in the development, optimisation, evaluation and evolution of middleware. History The first instance of the Middleware conference was h ...
* SOSP - ACM Symposium on Operating Systems Principles * SYSTOR - ACM
International Systems and Storage Conference The International Systems and Storage Conference (SYSTOR) is an ACM research conference sponsored by the ACSIGOPSSpecial Interest Group on Operating Systems. SYSTOR covers all aspects oComputer Systemstechnology. The first SYSTOR was held in Octo ...


Computer architecture

Conferences on computer architecture: * ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems * ISCA -
International Symposium on Computer Architecture The International Symposium on Computer Architecture (ISCA) is an annual academic conference on computer architecture, generally viewed as the top-tier in the field. Association for Computing Machinery's Special Interest Group on Computer Archit ...
* MICRO - IEEE/ACM
International Symposium on Microarchitecture The International Symposium on Microarchitecture (MICRO) is generally viewed as the top-tier academic conference on computer architecture. It is not to be confused with a micro-conference. Computer science conferences Computer architecture confe ...


Computer hardware

Conferences on
computer hardware Computer hardware includes the physical parts of a computer, such as the computer case, case, central processing unit (CPU), Random-access memory, random access memory (RAM), Computer monitor, monitor, Computer mouse, mouse, Computer keyboard, ...
: * ISCAS - IEEE International Symposium on Circuits and Systems


Computer-aided design

Conferences on
computer-aided design Computer-aided design (CAD) is the use of computers (or ) to aid in the creation, modification, analysis, or optimization of a design. This software is used to increase the productivity of the designer, improve the quality of design, improve c ...
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 The Asia and South Pacific Design Automation Conference, or ASP-DAC is a yearly conference on the topic of electronic design automation. It is typically held in late January in the Far East, as the name implies. It is sponsored by the IEEE Cir ...
* DAC -
Design Automation Conference The Design Automation Conference, or DAC, is an annual event, a combination of a technical conference and a trade show, both specializing in electronic design automation (EDA). DAC is the oldest and largest conference in EDA, started in 1964. ...
* DATE - Design, Automation, and Test in Europe * ICCAD -
International Conference on Computer-Aided Design The International Conference on Computer-Aided Design (ICCAD) is a yearly conference about electronic design automation. From the start in 1980 until 2014 the conference was held in San Jose, California. It is sponsored by the IEEE Circuits and ...
* ISPD - International Symposium on Physical Design


Computer networking

Conferences on computer networking: * GlobeCom - IEEE
Global Communications Conference The Global Communications Conference (GLOBECOM) is an annual international academic conference organised by the Institute of Electrical and Electronics Engineers' Communications Society. The first GLOBECOM was organised by the Communications Soci ...
* ICC - IEEE International Conference on Communications * ICSOC -
International Conference on Service Oriented Computing The International Conference on Service Oriented Computing, short ICSOC, is an annual conference providing an outstanding forum for academics, industry researchers, developers, and practitioners to report and share groundbreaking work in service-ori ...
* INFOCOM - IEEE
Conference on Computer Communications The IEEE Conference on Computer Communications (INFOCOM) addresses key topics and issues related to computer communications, with emphasis on traffic management and protocols for both wired and wireless networks. The first INFOCOM conference took ...
* SIGCOMM -
ACM SIGCOMM Conference ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...
* SIGMETRICS - ACM
SIGMETRICS SIGMETRICS is the Association for Computing Machinery's Special Interest Group on Measurement and Evaluation, which specializes in the field of performance analysis, measurement, and modeling of computer systems. It is also the name of an annual ...
* 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 is a method by which homes, telecommunications networks and business installations avoid the costly process of introducing c ...
s and
mobile computing Mobile computing is human–computer interaction in which a computer is expected to be transported during normal usage, which allows for the transmission of data, voice, and video. Mobile computing involves mobile communication, mobile hardware ...
, including
ubiquitous Omnipresence or ubiquity is the property of being present anywhere and everywhere. The term omnipresence is most often used in a religious context as an attribute of a deity or supreme being, while the term ubiquity is generally used to describe ...
and pervasive computing,
wireless ad hoc network A wireless ad hoc network (WANET) or mobile ad hoc network (MANET) is a decentralized type of wireless network. The network is ad hoc because it does not rely on a pre-existing infrastructure, such as routers in wired networks or access points ...
s 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 c ...
s: * EWSN -
European Conference on Wireless Sensor Networks The European Conference on Wireless Sensor Networks (EWSN) is an annual academic conference on wireless sensor networks. Although there is no official ranking of academic conferences on wireless sensor networks, EWSN is widely regarded as the top E ...
* IPSN - ACM/IEEE
International Conference on Information Processing in Sensor Networks IPSN, the IEEE/ACM International Conference on Information Processing in Sensor Networks, is an academic conference on sensor networks with its main focus on information processing aspects of sensor networks. IPSN draws upon many disciplines inclu ...
* ISWC -
International Symposium on Wearable Computers The International Symposium on Wearable Computers or ISWC (pronounced "iz-wic") is one of the most prominent academic conferences on wearable computing and ubiquitous computing. Rank 5. Its first edition was held in 1997 in Cambridge, MA, USA. Proc ...
* MobiHoc - ACM
International Symposium on Mobile Ad Hoc Networking and Computing The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a nonprofit organization, non-pr ...
* SenSys - ACM
Conference on Embedded Networked Sensor Systems SenSys, the ACM Conference on Embedded Networked Sensor Systems, is an annual academic conference in the area of embedded networked sensors. About SenSys ACM SenSys is a selective, single-track forum for the presentation of research results on ...


Security and privacy

Conferences on
computer security Computer security, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...
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 ...
: * DSN -
International Conference on Dependable Systems and Networks The International Conference on Dependable Systems and Networks (or DSN) is an annual conference on topics related to dependable computer systems and reliable networks. It typically features a number of coordinated tracks, including the main paper ...
* USENIX Security Symposium


Cryptography

Cryptography Cryptography, or cryptology (from grc, , translit=kryptós "hidden, secret"; and ''graphein'', "to write", or ''-logia'', "study", respectively), is the practice and study of techniques for secure communication in the presence of adver ...
conferences: * ACNS - Applied Cryptography and Network Security * ANTS -
Algorithmic Number Theory Symposium Algorithmic Number Theory Symposium (ANTS) is a biennial academic conference, first held in Cornell in 1994, constituting an international forum for the presentation of new research in computational number theory. They are devoted to algorithmic a ...
* ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security * CHES -
Workshop on Cryptographic Hardware and Embedded Systems Beginning with the Industrial Revolution era, a workshop may be a room, rooms or building which provides both the area and tools (or machinery) that may be required for the manufacture or repair of manufactured goods. Workshops were the onl ...
* CRYPTO -
International Cryptology Conference International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* EUROCRYPT -
International Conference on the Theory and Applications of Cryptographic Techniques International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * International (New Order album), ' ...
* FSE -
Fast Software Encryption Workshop Fast or FAST may refer to: * Fast (noun), high speed or velocity * Fast (noun, verb), to practice fasting, abstaining from food and/or water for a certain period of time Acronyms and coded Computing and software * ''Faceted Application of Subje ...
* PKC -
International Workshop on Practice and Theory in Public Key Cryptography International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * International (New Order album), ' ...
* RSA - RSA Conference * TCC -
Theory of Cryptography Conference A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be s ...


Data management

Conferences on
database In computing, a database is an organized collection of data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The design of databases sp ...
s,
information systems An information system (IS) is a formal, sociotechnical, organizational system designed to collect, process, information storage, store, and information distribution, distribute information. From a sociotechnical perspective, information systems a ...
,
information retrieval Information retrieval (IR) in computing and information science is the process of obtaining information system resources that are relevant to an information need from a collection of those resources. Searches can be based on full-text or other co ...
, data mining and the
World Wide Web The World Wide Web (WWW), commonly known as the Web, is an information system enabling documents and other web resources to be accessed over the Internet. Documents and downloadable media are made available to the network through web se ...
: * CIDR -
Conference on Innovative Data Systems Research The Conference on Innovative Data Systems Research (CIDR) is an annual computer science conference focused on research into new techniques for data management. It was started in 2002 by Michael Stonebraker, Jim Gray, and David DeWitt as a bien ...
* CIKM - ACM
Conference on Information and Knowledge Management The ACM Conference on Information and Knowledge Management (CIKM, pronounced ) is an annual computer science research conference dedicated to information management (IM) and knowledge management (KM). Since the first event in 1992, the conference ...
* ECIR - European Conference on Information Retrieval * ECIS - European Conference on Information Systems * ER -
International Conference on Conceptual Modeling The ER - International Conference on Conceptual Modeling is an annual research conference computer science dedicated to information and conceptual modeling. Since the first event in 1979 in Los Angeles, California, USA, the conference has evolv ...
* ICDT - International Conference on Database Theory * ICIS -
International Conference on Information Systems International Conference on Information Systems (ICIS) is an annual international conference for academics and research-oriented practitioners in the area of information systems. Previously known as the Conference on Information Systems (CIS), ICI ...
* ISWC -
International Semantic Web Conference The International Semantic Web Conference (ISWC) is a series of academic conferences and the premier international forum for the Semantic Web, Linked Data and Knowledge Graph Community. Here, scientists, industry specialists, and practitioners ...
* JCDL - ACM/IEEE
Joint Conference on Digital Libraries The Joint Conference on Digital Libraries (JCDL) is an annual international forum focusing on digital libraries and associated technical, practical, and social issues. It is jointly sponsored by the Association for Computing Machinery and the IEEE ...
* KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining * PODS - ACM
Symposium on Principles of Database Systems The ACM Symposium on Principles of Database Systems (PODS) is an international research conference on database theory, and has been held yearly since 1982. It is sponsored by three Association for Computing Machinery SIGs, SIGART, SIGACT, and SIG ...
* SIGIR - Annual International ACM SIGIR Conference * SIGMOD - ACM SIGMOD Conference * VLDB -
International Conference on Very Large Data Bases International Conference on Very Large Data Bases or VLDB conference is an annual conference held by the non-profit ''Very Large Data Base Endowment Inc.'' While named after very large databases, the conference covers the research and development ...
* 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 hel ...


Artificial intelligence

Conferences on
artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech re ...
and
machine learning Machine learning (ML) is a field of inquiry devoted to understanding and building methods that 'learn', that is, methods that leverage data to improve performance on some set of tasks. It is seen as a part of artificial intelligence. Machine ...
: * AAAI -
AAAI Conference on Artificial Intelligence The AAAI Conference on Artificial Intelligence (AAAI) is one of the leading international academic conference in artificial intelligence held annually. Along with ICML, NeurIPS and ICLR, it is one of the primary conferences of high impact in machi ...
* AAMAS -
International Conference on Autonomous Agents and Multiagent Systems The International Conference on Autonomous Agents and Multiagent Systems or AAMAS is the leading scientific conference for research in the areas of artificial intelligence, autonomous agents, and multiagent systems. It is annually organized by a n ...
* Canadian AI -
Canadian Conference on Artificial Intelligence Canadians (french: Canadiens) are people identified with the country of Canada. This connection may be residential, legal, historical or cultural. For most Canadians, many (or all) of these connections exist and are collectively the source of ...
* CIBB -
International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics The International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) is a yearly scientific conference focused on machine learning and computational intelligence applied to bioinformatics and biostatisti ...
* 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 The International Conference on Machine Learning (ICML) is the leading international academic conference in machine learning. Along with NeurIPS and ICLR, it is one of the three primary conferences of high impact in machine learning and artificia ...
* ICLR - International Conference on Learning Representations * IJCAI -
International Joint Conference on Artificial Intelligence The International Joint Conference on Artificial Intelligence (IJCAI) is the leading conference in the field of Artificial Intelligence. The conference series has been organized by the nonprofit IJCAI Organization since 1969, making it the oldest p ...
* ISWC -
International Semantic Web Conference The International Semantic Web Conference (ISWC) is a series of academic conferences and the premier international forum for the Semantic Web, Linked Data and Knowledge Graph Community. Here, scientists, industry specialists, and practitioners ...
* NeurIPS -
Conference on Neural Information Processing Systems The Conference and Workshop on Neural Information Processing Systems (abbreviated as NeurIPS and formerly NIPS) is a machine learning and computational neuroscience conference held every December. The conference is currently a double-track meeti ...
* RuleML -
RuleML Symposium The annual International Web Rule Symposium (RuleML) is an international academic conference on research, applications, languages and standards for rule technologies. Since 2017 it is organised as International Joint Conference on Rules and Reaso ...


Evolutionary computation

Conferences on
Evolutionary computation In computer science, evolutionary computation 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, they ...
. * AE - Artificial Evolution Conference * CEC -
IEEE Congress on Evolutionary Computation The IEEE Congress on Evolutionary Computation (CEC) is one of the largest and most important conferences within evolutionary computation (EC), the other conferences of similar importance being Genetic and Evolutionary Computation Conference (GECCO ...
* GECCO -
Genetic and Evolutionary Computation Conference The Genetic and Evolutionary Computation Conference (GECCO) is the premier conference in the area of genetic and evolutionary computation. GECCO has been held every year since 1999, when it was first established as a recombination of the Internat ...


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 The annual International Web Rule Symposium (RuleML) is an international academic conference on research, applications, languages and standards for rule technologies. Since 2017 it is organised as International Joint Conference on Rules and Reaso ...
* TABLEAUX -
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it joi ...
* WoLLIC -
Workshop on Logic, Language, Information and Computation WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science. WoLLIC has been organised annually since 1994, typically in June or July; the con ...
* SAT -
The International Conferences on Theory and Applications of Satisfiability Testing ''The'' () is a grammatical article in English, denoting persons or things already mentioned, under discussion, implied or otherwise presumed familiar to listeners, readers, or speakers. It is the definite article in English. ''The'' is the m ...


Computer vision

Conferences on
computer vision Computer vision is an interdisciplinary scientific field that deals with how computers can gain high-level understanding from digital images or videos. From the perspective of engineering, it seeks to understand and automate tasks that the hum ...
(including also
image analysis Image analysis or imagery analysis is the extraction of meaningful information from images; mainly from digital images by means of digital image processing techniques. Image analysis tasks can be as simple as reading bar coded tags or as sophi ...
) and pattern recognition: * 3DV -
International Conference on 3D Vision International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* ACCV -
Asian Conference on Computer Vision Asian may refer to: * Items from or related to the continent of Asia: ** Asian people, people in or descending from Asia ** Asian culture, the culture of the people from Asia ** Asian cuisine, food based on the style of food of the people from Asi ...
* BMVC -
British Machine Vision Conference The British Machine Vision Conference (BMVC) is the British Machine Vision Association (BMVA) annual conference on machine vision, image processing, and pattern recognition. It is one of the major international conferences on computer vision and re ...
* CVPR - IEEE Conference on Computer Vision and Pattern Recognition * ECCV -
European Conference on Computer Vision The European Conference on Computer Vision (ECCV) is a biennial research conference with the proceedings published by Springer Science+Business Media. Similar to ICCV in scope and quality, it is held those years which ICCV is not. It is considere ...
* ICIP -
IEEE International Conference on Image Processing The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
* ICCV -
IEEE International Conference on Computer Vision The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
* SCIA -
Scandinavian Conference on Image Analysis SCIA, the Scandinavian Conference on Image Analysis, is a biennial scientific conference organized by the national pattern recognition societies in the Nordic countries (Denmark, Finland, Norway and Sweden). The conference is officially sponsored ...
* SIBGRAPI - SIBGRAPI Conference on Graphics, Patterns and Images * SSIAI -
IEEE Southwest Symposium on Image Analysis and Interpretation The Southwest Symposium on Image Analysis and Interpretation is the IEEE biennial conference on image analysis, computer vision and pattern recognition. It is considered, together with CVPR, the major conference in interpretation of images and v ...
* VCIP -
IEEE International Conference on Visual Communications and Image Processing The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) organization, 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New Yor ...
* WACV -
IEEE Winter Conference on Applications of Computer Vision The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...


Natural language processing

Conferences on
computational linguistics Computational linguistics is an Interdisciplinarity, interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions. In general, comput ...
and
natural language processing Natural language processing (NLP) is an interdisciplinary subfield of linguistics, computer science, and artificial intelligence concerned with the interactions between computers and human language, in particular how to program computers to pro ...
: * ACL -
Annual Meeting of the Association for Computational Linguistics Annual may refer to: *Annual publication, periodical publications appearing regularly once per year **Yearbook **Literary annual *Annual plant *Annual report *Annual giving *Annual, Morocco, a settlement in northeastern Morocco *Annuals (band), a ...
* EMNLP -
Empirical Methods in Natural Language Processing Empirical Methods in Natural Language Processing (EMNLP) is a leading conference in the area of natural language processing and artificial intelligence. Along with the Association for Computational Linguistics (ACL), it is one of the two primary ...
* NAACL - Annual Conference of the North American Chapter of the Association for Computational Linguistics * COLING -
International Committee on Computational Linguistics The International Committee on Computational Linguistics (ICCL) was founded by Dr. David Hays of the RAND Corporation in 1965 to promote the biennial International Conference on Computational Linguistics, which since the third conference in Stock ...
* TSD -
Text, Speech and Dialogue Text, Speech and Dialogue (TSD) is an annual conference involving topics on natural language processing and computational linguistics. The meeting is held every September alternating in Brno and Plzeň, Czech Republic. The first Text, Speech and ...
* CICLing -
International Conference on Intelligent Text Processing and Computational Linguistics CICLing (International Conference on Computational Linguistics and Intelligent Text Processing; before 2017 known under the name International Conference on Intelligent Text Processing and Computational Linguistics) is an annual conference on c ...


Computer graphics

Conferences on
computer graphics Computer graphics deals with generating images with the aid of computers. Today, computer graphics is a core technology in digital photography, film, video games, cell phone and computer displays, and many specialized applications. A great de ...
,
geometry processing Geometry processing, or mesh processing, is an area of research that uses concepts from applied mathematics, computer science and engineering to design efficient algorithms for the acquisition, reconstruction, analysis, manipulation, simulation a ...
,
image processing An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...
, and
multimedia Multimedia is a form of communication that uses a combination of different content forms such as text, audio, images, animations, or video into a single interactive presentation, in contrast to tradition ...
: * BigMM -
IEEE International Conference on Multimedia Big Data The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) organization, 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New Yor ...
* Eurographics - Annual Conference of the European Association for Computer Graphics * ICME -
IEEE International Conference on Multimedia and Expo The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operati ...
* ISM -
IEEE International Symposium on Multimedia The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) organization, 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New Yor ...
* MM - ACM
International Conference on Multimedia ACM Multimedia (ACM-MM) is the Association for Computing Machinery (ACM)'s annual conference on multimedia, sponsored by the SIGMM on multimedia in the ACM. SIGMM specializes in the field of multimedia computing, from underlying technologies to ...
* MMSP -
International Workshop on Multimedia Signal Processing International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...
* SGP -
Symposium on Geometry Processing Symposium on Geometry Processing (SGP) is an annual symposium hosted by the European Association For Computer Graphics (Eurographics). The goal of the symposium is to present and discuss new research ideas and results in geometry processing. The ...
* SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques * SIBGRAPI - SIBGRAPI Conference on Graphics, Patterns and Images


Visualization

Conferences on visual analytics,
scientific visualization Scientific visualization ( also spelled scientific visualisation) is an interdisciplinary branch of science concerned with the visualization of scientific phenomena.Michael Friendly (2008)"Milestones in the history of thematic cartography, stat ...
and information visualization: * VIS - IEEE Visualization Conference * EuroVis -
Eurographics Conference on Visualization Eurographics is a Europe-wide professional computer graphics association. The association supports its members in advancing the state of the art in computer graphics and related fields such as multimedia, scientific visualization and human–compu ...
* PacificVis -
IEEE Pacific Visualization Symposium The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) organization, 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New Yor ...


Human–computer interaction

Conferences on human–computer interaction 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 f ...
s: * ASSETS -
International ACM SIGACCESS Conference on Computers and Accessibility ACM SIGACCESS is the Association for Computing Machinery's Special Interest Group on Accessible computing, an interdisciplinary group of academic and industrial researchers, clinicians and rehabilitation personnel, policy makers, end users, and stu ...
* CHI - ACM
Conference on Human Factors in Computing Systems The ACM Conference on Human Factors in Computing Systems (CHI) series of academic conferences is generally considered the most prestigious in the field of human–computer interaction and is one of the top-ranked conferences in computer science. ...
* GI - Graphics Interface * MobileHCI -
Conference on Human-Computer Interaction with Mobile Devices and Services The Conference on Mobile Human-Computer Interaction (MobileHCI) is a leading series of academic conferences in Human–computer interaction and is sponsored by ACM SIGCHI, the Special Interest Group on Computer-Human Interaction. MobileHCI has b ...
* SIGDOC -
ACM International Conference on Design of Communication SIGDOC is the Special Interest Group on Design of Communication of the Association for Computing Machinery (ACM), an international learned society for computing. ACM SIGDOC was founded in 1975 by Joseph "Joe" T. Rigo. Description SIGDOC’s miss ...
* UIST -
ACM Symposium on User Interface Software and Technology The ACM Symposium on User Interface Software and Technology (UIST) is an annual conference for technical innovations in human–computer interfaces. UIST is sponsored by ACM SIGCHI and ACM SIGGRAPH. By impact factor, it is one of impactful confere ...
* UMAP - ACM
International Conference on User Modeling, Adaptation, and Personalization The International Conference on User Modeling, Adaptation, and Personalization (UMAP) is the oldest international conference for researchers and practitioners working on various kinds of user-adaptive computer systems such as Adaptive hypermedia sy ...


Bioinformatics and computational biology

Conferences on
bioinformatics Bioinformatics () is an interdisciplinary field that develops methods and software tools for understanding biological data, in particular when the data sets are large and complex. As an interdisciplinary field of science, bioinformatics combi ...
and
computational biology Computational biology refers to the use of data analysis, mathematical modeling and computational simulations to understand biological systems and relationships. An intersection of computer science, biology, and big data, the field also has fo ...
: * CIBB -
International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics The International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) is a yearly scientific conference focused on machine learning and computational intelligence applied to bioinformatics and biostatisti ...
* ISMB - Intelligent Systems for Molecular Biology * PSB -
Pacific Symposium on Biocomputing The Pacific Symposium on Biocomputing (PSB) is an annual multidisciplinary scientific meeting co-founded in 1996 by Dr. Teri Klein, Dr. Lawrence Hunter and Sharon Surles. The conference is to presentation and discuss research in the theory and ap ...
* RECOMB -
Research in Computational Molecular Biology Research in Computational Molecular Biology (RECOMB) is an annual academic conference on the subjects of bioinformatics and computational biology. The conference has been held every year since 1997 and is a major international conference in comp ...
* WABI -
Workshop on Algorithms in Bioinformatics The European Symposium on Algorithms (ESA) is an international conference covering the field of algorithms. It has been held annually since 1993, typically in early Autumn in a different European location each year. Like most theoretical computer ...


Education

Conferences on computer science education and
electronic learning Educational technology (commonly abbreviated as edutech, or edtech) is the combined use of computer hardware, software, and educational theory and practice to facilitate learning. When referred to with its abbreviation, edtech, it often refers ...
: * SIGCSE - ACM
Technical Symposium on Computer Science Education SIGCSE is the Association for Computing Machinery's (ACM) Special Interest Group (SIG) on Computer Science Education (CSE), which provides a forum for educators to discuss issues related to the development, implementation, and/or evaluation of ...


See also

* List of computer science conference acronyms *
List of computer science journals Below is a list of computer science journals. Alphabetic list of titles A * ACM Computing Reviews * ACM Computing Surveys * ACM Transactions on Algorithms * ACM Transactions on Computational Logic * ACM Transactions on Database Systems * ACM ...
* List of publications in computer science *
Outline of computer science Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. One well known subject classification system for computer sc ...


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 obvious success indicators such as winn ...
{{DEFAULTSORT:Computer science conferences * Computing-related lists Lists of conferences