List of computer science conferences

Academic conference

An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...

s in computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

. Only established, well-known conferences are included; within each field, the conferences are ranked according to perceived quality. The ranking is approximate and non-authoritative.

Algorithms and theory

Conferences accepting a broad range of topics from theoretical computer science

Theoretical computer science

Theoretical computer science is a division or subset of general computer science and mathematics which focuses on more abstract or mathematical aspects of computing....

, including algorithm

Algorithm

In mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...

s, data structure

Data structure

In computer science, a data structure is a particular way of storing and organizing data in a computer so that it can be used efficiently.Different kinds of data structures are suited to different kinds of applications, and some are highly specialized to specific tasks...

s, computability, computational complexity

Computational Complexity

Computational Complexity may refer to:*Computational complexity theory*Computational Complexity...

, automata theory

Automata theory

In theoretical computer science, automata theory is the study of abstract machines and the computational problems that can be solved using these machines. These abstract machines are called automata...

and formal language

Formal language

A formal language is a set of words—that is, finite strings of letters, symbols, or tokens that are defined in the language. The set from which these letters are taken is the alphabet over which the language is defined. A formal language is often defined by means of a formal grammar...

STOC - ACM Symposium on Theory of Computing
Symposium on Theory of Computing
STOC, the Annual ACM Symposium on Theory of Computing is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT.As...
FOCS - IEEE Symposium on Foundations of Computer Science
Symposium on Foundations of Computer Science
FOCS, the Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science...
ICALP - International Colloquium on Automata, Languages and Programming
International Colloquium on Automata, Languages and Programming
ICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe...
STACS - Symposium on Theoretical Aspects of Computer Science
ISAAC - International Symposium on Algorithms and Computation
MFCS - International Symposium on Mathematical Foundations of Computer Science
FSTTCS - IARCS Conference on Foundations of Software Technology and Theoretical Computer Science
COCOON - International Computing and Combinatorics Conference
WoLLIC - Workshop on Logic, Language, Information and Computation
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...

Algorithms

Conferences whose topic is algorithm

Algorithm

s and data structure

Data structure

s considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:

SODA - ACM–SIAM Symposium on Discrete Algorithms
ESA - European Symposium on Algorithms
European Symposium on Algorithms
The European Symposium on Algorithms is an international conference covering the field of algorithms. It has been held annually since 1993, typically in a different European location in early Autumn...
WADS - Algorithms and Data Structures Symposium
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. WADS is held every second year, usually but not always in Canada. It is held in alternation with its sister conference, the...

formerly: "Workshop on Algorithms and Data Structures"

SWAT - Scandinavian Symposium and Workshops on Algorithm Theory

formerly: "Scandinavian Workshop on Algorithm Theory"

WAOA - Workshop on Approximation and Online Algorithms

Geometric algorithms

Conferences on computational geometry

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 are also considered to be part of computational...

, graph drawing

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 graphs arising from applications such as social network analysis, cartography, and bioinformatics...

, and other application areas of geometric computing:

SoCG - ACM Symposium on Computational Geometry
Symposium on Computational Geometry
The Annual Symposium on Computational Geometry is an academic conference in computational geometry. It was founded in 1985, and in most but not all of its years it has been sponsored by the Association for Computing Machinery's SIGACT and SIGGRAPH special interest groups.A 2010 assessment of...
ACM GIS - ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
GD - International Symposium on Graph Drawing
International Symposium on Graph Drawing
The International Symposium on Graph Drawing 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.-Significance:...
IMR - International Meshing Roundtable
WAFR - Workshop on Algorithmic Foundations of Robotics
CCCG - Canadian Conference on Computational Geometry
EuroCG - European Workshop on Computational Geometry
Fall Workshop on Computational Geometry

Formerly ARO-MSI Workshop on Computational Geometry

Other specialized subtopics

CCC - Conference on Computational Complexity

formerly: "Structure in Complexity Theory Conference"

ISSAC - International Symposium on Symbolic and Algebraic Computation
LICS - IEEE Symposium on Logic in Computer Science
DLT - International Conference on Developments in Language Theory
International Conference on Developments in Language Theory
DLT, the International Conference on Developments in Language Theory is an academic conference in the fieldof computer scienceheld annually under the auspices of the European Association for Theoretical Computer Science...
CIAA - International Conference on Implementation and Application of Automata

formerly: WIA - "Workshop on Implementation of Automata"

DCFS - International Workshop on Descriptional Complexity of Formal Systems

merger of: DCAGRS - "Descriptional Complexity of Automata, Grammars and Related Structures", FDSR - "Formal Descriptions and Software Reliability"

Programming languages

Conferences on programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

s and compiler

Compiler

A compiler is a computer program that transforms source code written in a programming language into another computer language...

POPL - Symposium on Principles of Programming Languages
PLDI - ACM SIGPLAN Conference on Programming Language Design and Implementation

formerly "SIGPLAN Symposium on Compiler Optimization" and "SIGPLAN Symposium on Compiler Construction"

ECOOP - European Conference on Object-Oriented Programming
OOPSLA - Conference on Object-Oriented Programming, Systems, Languages, and Applications
ICLP - International Conference on Logic Programming
International Conference on Logic Programming
The International Conference on Logic Programming is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming . The conference consists of peer-reviewed papers with the proceedings published by Springer's LNCS series.The first ICLP...

a.k.a. JICSLP - "Joint International Conference and Symposium on Logic Programming"

ICFP - International Conference on Functional Programming
International Conference on Functional Programming
The International Conference on Functional Programming is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 ....
CGO - International Symposium on Code Generation and Optimization
ESOP - European Symposium on Programming
FOSSACS - Foundations of Software Science and Computation Structures
CP - International Conference on Principles and Practice of Constraint Programming
CC - International Conference on Compiler Construction
LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
International Symposium on Logic-based Program Synthesis and Transformation
The International Symposium on Logic-based Program Synthesis and Transformation, commonly known as LOPSTR, was founded by Kung-Kiu Lau in 1991. It has taken place annually since....
FLOPS - International Symposium on Functional and Logic Programming
HOPL - History of Programming Languages Conference

Concurrent, distributed and parallel computing

Conferences on concurrent

Concurrent computing

Concurrent computing is a form of computing in which programs are designed as collections of interacting computational processes that may be executed in parallel...

, distributed

Distributed computing

Distributed computing is a field of computer science that studies distributed systems. A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal...

, and parallel computing

Parallel computing

Parallel computing is a form of computation in which many calculations are carried out simultaneously, operating on the principle that large problems can often be divided into smaller ones, which are then solved concurrently . There are several different forms of parallel computing: bit-level,...

, fault-tolerant systems, and dependable systems:

PODC - ACM Symposium on Principles of Distributed Computing
Symposium on Principles of Distributed Computing
The Symposium on Principles of Distributed Computing is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery ....
ICDCS - IEEE International Conference on Distributed Computing Systems
International Conference on Distributed Computing Systems
The International Conference on Distributed Computing Systems 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 in October 1979, and is sponsored by such committee...
SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
Symposium on Parallelism in Algorithms and Architectures
SPAA, the ACM Symposium on Parallelism in Algorithms and Architectures, is an academic conference in the fields of parallel computing and distributed computing...
PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
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...
DSN - International Conference on Dependable Systems and Networks
DISC - International Symposium on Distributed Computing
International Symposium on Distributed Computing
The International Symposium on Distributed Computing 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 is organized in association with the European...

formerly: WDAG - "Workshop on Distributed Algorithms on Graphs"

SRDS - IEEE International Symposium on Reliable Distributed Systems
International Symposium on Reliable Distributed Systems
The International Symposium on Reliable Distributed Systems is an academic conference covering distributed systems design and development, particularly with properties such as reliability, availability, safety, security and real time...

formerly: "Symposium on Reliability in Distributed Software and Database Systems"

PACT - International Conference on Parallel Architectures and Compilation Techniques
IPDPS - IEEE International Parallel and Distributed Processing Symposium

merger of: IPPS - "International Parallel Processing Symposium", SPDP - "Symposium on Parallel and Distributed Processing"

ICPP - International Conference on Parallel Processing
Euro-Par Conference

a.k.a. "European Conference on Parallel Processing", "European Conference on Parallel Computing"

SIROCCO - International Colloquium on Structural Information and Communication Complexity
OPODIS - International Conference on Principles of Distributed Systems
ICPADS - IEEE International Conference on Parallel and Distributed Systems
International Conference on Parallel and Distributed Systems
The International Conference on Parallel and Distributed Systems is an academic conference sponsored by the IEEE Computer Society that brings together researchers and practitioners from academia and industry around the world to advance the theories, technologies, and applications of parallel and...
Coordination - International Conference on Coordination Models and Languages
ICDCN - International Conference on Distributed Computing and Networking

High-performance computing

Conferences on high-performance computing

High-performance computing

High-performance computing uses supercomputers and computer clusters to solve advanced computation problems. Today, computer systems approaching the teraflops-region are counted as HPC-computers.-Overview:...

, cluster computing

Cluster Computing

Cluster Computing: the Journal of Networks, Software Tools and Applications is a journal for parallel processing, distributed computing systems, and computer communication networks....

, and grid computing

Grid computing

Grid computing is a term referring to the combination of computer resources from multiple administrative domains to reach a common goal. The grid can be thought of as a distributed system with non-interactive workloads that involve a large number of files...

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

a.k.a. "SUPER", "ACM/IEEE Conference on Supercomputing", "SC Conference"

ICS - International Conference on Supercomputing
HPDC - International Symposium on High Performance Distributed Computing
PPSC - SIAM Conference on Parallel Processing for Scientific Computing
Grid - IEEE/ACM International Conference on Grid Computing
CLUSTER - IEEE International Conference on Cluster Computing

formerly: IWCC - "IEEE International Workshop on Cluster Computing"

HiPC - International Conference on High Performance Computing
International Conference on High Performance Computing
The International Conference on High Performance Computing 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 Asia in the high performance computing area...

Software engineering

Conferences on software engineering

Software engineering

Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...

ICSE - International Conference on Software Engineering
International Conference on Software Engineering
The International Conference on Software Engineering , is one of the largest annual software engineering conferences. The first ICSE conference was in 1975 in Washington DC.-List of Conferences:Past and future ICSE conferences include:...
FSE - ACM SIGSOFT Symposium on the Foundations of Software Engineering
TACAS - International Conference on Tools and Algorithms for Construction and Analysis of Systems
PEPM - ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation
RTA - International Conference on Rewriting Techniques and Applications
ICSM - International Conference on Software Maintenance
ASE - IEEE/ACM International Conference on Automated Software Engineering
International Conference on Automated Software Engineering
The International Conference on Automated Software Engineering , is a large annual software engineering conferences. The first conference in the series was held in 1986...
RE - IEEE International Requirements Engineering Conference
ICSR - International Conference on Software Reuse
International Conference on Software Reuse
The International Conference on Software Reuse , is the primary scientific conference on software reuse, domain analysis, and domain engineering....
ICECCS - International Conference on Engineering of Complex Computer Systems

Formal methods

Conferences on formal methods

Formal methods

In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...

in software engineering, including formal specification

Formal specification

In computer science, a formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not how the system should do it...

, formal verification

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 methods of mathematics .- Usage :Formal verification can be...

, and static code analysis

Static code analysis

Static program analysis is the analysis of computer software that is performed without actually executing programs built from that software In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code...

CAV - Computer Aided Verification
Computer Aided Verification
Computer Aided Verification is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series...
FM - International Symposium on Formal Methods

formerly: FME - "Formal Methods Europe"

FORTE - IFIP International Conference on Formal Techniques for Networked and Distributed Systems
International Conference on Formal Techniques for Networked and Distributed Systems
The IFIP International Conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE...

formerly: "International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols", "International Conference on Formal Description Techniques"

SAS - Static Analysis Symposium

formerly: WSA - "Workshop on Static Analysis"

Operating systems

Conferences on operating system

Operating system

An operating system is a set of programs that manage computer hardware resources and provide common services for application software. The operating system is the most important type of system software in a computer system...

s, storage systems and middleware

Middleware

Middleware is computer software that connects software components or people and their applications. The software consists of a set of services that allows multiple processes running on one or more machines to interact...

SOSP - ACM Symposium on Operating Systems Principles
Symposium on Operating Systems Principles
The Symposium on Operating Systems Principles , organized by the Association for Computing Machinery , is one of the most prestigious single-track academic conferences on operating systems....
OSDI - USENIX Symposium on Operating Systems Design and Implementation
USENIX - USENIX Annual Technical Conference
USENIX Annual Technical Conference
The USENIX Annual Technical Conference is a conference of computing professions sponsored by the USENIX association. The conference includes computing tutorials, and a single track technical session for presenting refereed research papers, SIG meetings, and BoFs.There have been several notable...
FAST - USENIX Conference on File and Storage Technologies
EuroSys - European Conference on Computer Systems
Middleware - ACM/IFIP/USENIX International Middleware Conference
HotOS - Workshop on Hot Topics in Operating Systems
NOSSDAV - International Workshop on Network and Operating Systems Support for Digital Audio and Video

Computer architecture

Conferences on computer architecture

Computer architecture

In computer science and engineering, computer architecture is the practical art of selecting and interconnecting hardware components to create computers that meet functional, performance and cost goals and the formal modelling of those systems....

ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems
International Conference on Architectural Support for Programming Languages and Operating Systems
The International Conference on Architectural Support for Programming Languages and Operating Systems is an annual interdisciplinary computer science conference organized by the Association for Computing Machinery ....
ISCA - International Symposium on Computer Architecture
International Symposium on Computer Architecture
The International Symposium on Computer Architecture is generally viewed as the top-tier academic conference on computer architecture.-External references:* in the ACM digital library.* in DBLP.* ....

a.k.a. "Annual Symposium on Computer Architecture"

MICRO - IEEE/ACM International Symposium on Microarchitecture
HPCA - International Symposium on High-Performance Computer Architecture

Computer hardware

Conferences on computer hardware

Computer hardware

Personal computer hardware are component devices which are typically installed into or peripheral to a computer case to create a personal computer upon which system software is installed including a firmware interface such as a BIOS and an operating system which supports application software that...

SPD - International Symposium on Physical Design
CHES - Cryptographic Hardware and Embedded Systems
ISLPED - International Symposium on Low Power Electronics and Design
FCCM - Field-Programmable Custom Computing Machines
FPGA - Symposium on Field Programmable Gate Arrays
ISSS - International Symposium on Systems Synthesis
CODES+ISSS - International Conference on Hardware Software Codesign
ARVLSI - Advanced Research in VLSI
ISCAS - IEEE International Symposium on Circuits and Systems
International Symposium on Circuits and Systems
Initiated in 1968, by a small group of distinguished circuit theorists, IEEE ISCAS has grown into a premier annual conference reflecting the diversity, richness, and significance of the circuits and systems fields, as well as the growing technological applications and knowledge economy that is...

Real-time and embedded systems

Conferences on real-time systems and embedded system

Embedded system

An embedded system is a computer system designed for specific control functions within a larger system. often with real-time computing constraints. It is embedded as part of a complete device often including hardware and mechanical parts. By contrast, a general-purpose computer, such as a personal...

RTSS - IEEE Real-Time Systems Symposium
RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium
LCTES - ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
CASES - International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
EMSOFT - International Conference on Embedded Software
ECRTS - Euromicro Conference on Real-Time Systems
SCOPES - International Workshop on Software and Compilers for Embedded Systems

Computer-aided design

Conferences on computer-aided design

Computer-aided design

Computer-aided design , also known as computer-aided design and drafting , is the use of computer technology for the process of design and design-documentation. Computer Aided Drafting describes the process of drafting with a computer...

and electronic design automation

Electronic design automation

Electronic design automation is a category of software tools for designing electronic systems such as printed circuit boards and integrated circuits...

DAC - Design Automation Conference
Design Automation Conference
The Design Automation Conference, or DAC, is a combination of a technical conference and a trade show, both specializing in electronic design automation....
ICCAD - International Conference on Computer-Aided Design
International Conference on Computer-Aided Design
The International Conference on Computer-Aided Design, or ICCAD, is a yearly conference about electronic design automation. It is normally held in early November in San Jose, California...
DATE - Design, Automation, and Test in Europe
ASP-DAC - Asia and South Pacific Design Automation Conference
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...
ISPD - International Symposium on Physical Design
International Symposium on Physical Design
The International Symposium on Physical Design, or ISPD is a yearly conference on the topic of electronic design automation, concentrating on algorithms for the physical design of integrated circuits. It is typically held in April of each year, in a city in the western United States...

Computer networking

Conferences on computer networking:

SIGCOMM - ACM SIGCOMM Conference
INFOCOM - IEEE Conference on Computer Communications
NSDI - USENIX Symposium on Networked Systems Design and Implementation
SIGMETRICS - ACM SIGMETRICS Conference

a.k.a. "ACM Conference on Measurement and Modeling of Computer Systems"

IMC - Internet Measurement Conference
CONEXT - ACM International Conference on Emerging Networking Experiments and Technologies
HotNets - ACM Workshop on Hot Topics in Networks
IPTPS - International Workshop on Peer-To-Peer Systems
ICNP - IEEE International Conference on Network Protocols
PAM - Passive and Active Measurement Conference
IWQoS - IEEE International Workshop on Quality of Service
MASCOTS - IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
IM - IFIP/IEEE International Symposium on Integrated Network Management
Networking - IFIP International Conference on Networking
LCN - IEEE Conference on Local Computer Networks
ICC - IEEE International Conference on Communications
International Conference on Communications
The International Conference on Communications is an annual international academic conference organised by the Institute of Electrical and Electronics Engineers' Communications Society...
GlobeCom - IEEE Global Communications Conference
Global Communications Conference
The Global Communications Conference 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 Society's predecessor in 1957, with the full name of "National...

a.k.a. "Global Telecommunications Conference"

Wireless networks

Wireless network

Wireless network refers to any type of computer network that is not connected by cables of any kind. It is a method by which homes, telecommunications networks and enterprise installations avoid the costly process of introducing cables into a building, or as a connection between various equipment...

s and mobile computing

Mobile computing

Mobile computing is a form of human–computer interaction by which a computer is expected to be transported during normal usage. Mobile computing has three aspects: mobile communication, mobile hardware, and mobile software...

, including pervasive computing, wireless ad hoc networks and wireless sensor network

Wireless sensor network

A wireless sensor network consists of spatially distributed autonomous sensors to monitor physical or environmental conditions, such as temperature, sound, vibration, pressure, motion or pollutants and to cooperatively pass their data through the network to a main location. The more modern...

MobiCom - ACM International Conference on Mobile Computing and Networking
MobiHoc - ACM International Symposium on Mobile Ad Hoc Networking and Computing
SenSys - ACM Conference on Embedded Networked Sensor Systems
HotMobile - International Workshop on Mobile Computing Systems and Applications

formerly: WMCSA

IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks
Ubicomp - International Conference on Ubiquitous Computing
PerCom - IEEE International Conference on Pervasive Computing and Communications
EWSN - European Conference on Wireless Sensor Networks

formerly: "European Workshop on Wireless Sensor Networks"

ISWC - International Symposium on Wearable Computers
International Symposium on Wearable Computers
The International Symposium on Wearable Computers or ISWC is one of the most prominent academic conferences on wearable computing and ubiquitous computing....
MSWiM - ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
MobiQuitous - International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
WoWMoM - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks

formerly: "International Workshop on Wireless Mobile Multimedia"

SECON - Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks
WiOpt - International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
DCOSS - IEEE International Conference on Distributed Computing in Sensor Systems
MASS - IEEE International Conference on Mobile Ad-hoc and Sensor Systems
IEEE RFID - IEEE IEEE International Conference on RFID

Security and privacy

Conferences on computer security

Computer security

Computer security is a branch of computer technology known as information security as applied to computers and networks. The objective of computer security includes protection of information and property from theft, corruption, or natural disaster, while allowing the information and property to...

and privacy

Privacy

Privacy is the ability of an individual or group to seclude themselves or information about themselves and thereby reveal themselves selectively...

Oakland - IEEE Symposium on Security and Privacy
USENIX Security Symposium
CCS - ACM Conference on Computer and Communications Security
CSF - Computer Security Foundations Symposium formerly: CSFW - "Computer Security Foundations Workshop"
NDSS - Network and Distributed System Security Symposium
ESORICS - European Symposium on Research in Computer Security
RAID - International Symposium on Recent Advances in Intrusion Detection

Cryptography

Cryptography is the practice and study of techniques for secure communication in the presence of third parties...

conferences:

CRYPTO - International Cryptology Conference
EUROCRYPT - International Conference on the Theory and Applications of Cryptographic Techniques
ACNS - Applied Cryptography and Network Security
Applied Cryptography and Network Security
ACNS is an annual conference concentrating on current developments that advance the areas of applied cryptography and its application to systems and network security.-External links:***...

("http://icsd.i2r.a-star.edu.sg/staff/jianying/acns_home/")
TCC - Theory of Cryptography Conference
Theory of Cryptography Conference
The Theory of Cryptography Conference, often abbreviated TCC, is an annual conference for theoretical cryptography research. It was first held in 2004 at MIT, and was also held at MIT in 2005, both times in February. TCC became an IACR-sponsored workshop in 2006....
PKC - International Workshop on Practice and Theory in Public Key Cryptography
ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security
FSE - Fast Software Encryption Workshop
RSA - RSA Conference
RSA Conference
The RSA Conference is a cryptography and information security-related conference held annually in the San Francisco Bay Area.The RSA Conference started in 1991 as a forum for cryptographers to gather and share the latest knowledge and advancements in the area of Internet security...
ANTS - Algorithmic Number Theory Symposium
CHES - Workshop on Cryptographic Hardware and Embedded Systems
SECRYPT - International Conference on Security and Cryptography
INDOCRYPT - International Conference on Cryptology in India

Data Management

Conferences on database

Database

A database is an organized collection of data for one or more purposes, usually in digital form. The data are typically organized to model relevant aspects of reality , in a way that supports processes requiring this information...

s, information systems

Information systems

Information Systems is an academic/professional discipline bridging the business field and the well-defined computer science field that is evolving toward a new scientific area of study...

, information retrieval

Information retrieval

Information retrieval is the area of study concerned with searching for documents, for information within documents, and for metadata about documents, as well as that of searching structured storage, relational databases, and the World Wide Web...

, data mining

Data mining

Data mining , a relatively young and interdisciplinary field of computer science is the process of discovering new patterns from large data sets involving methods at the intersection of artificial intelligence, machine learning, statistics and database systems...

and the world wide web

World Wide Web

The World Wide Web is a system of interlinked hypertext documents accessed via the Internet...

SIGMOD - ACM SIGMOD Conference

a.k.a. "ACM SIGMOD International Conference on Management of Data"

VLDB - International Conference on Very Large Data Bases
PODS - ACM Symposium on Principles of Database Systems
Symposium on Principles of Database Systems
The ACM Symposium on Principles of Database Systems is the premier 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 SIGMOD...
SIGIR - Annual International ACM SIGIR Conference
WWW - World Wide Web Conference
World Wide Web Conference
The International World Wide Web Conference is a yearly international academic conference on the topic of the future direction of the World Wide Web...
KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining
ICDE - International Conference on Data Engineering

a.k.a. ACM International Conference on Research and Development in Information Retrieval

CIDR - Conference on Innovative Data Systems Research
Conference on Innovative Data Systems Research
The Conference on Innovative Data Systems Research is a biennial computer science conference focused on research into new techniques for data management...
ICDM - IEEE International Conference on Data Mining
ICDT - International Conference on Database Theory
EDBT - International Conference on Extending Database Technology
SDM - SIAM International Conference on Data Mining
CIKM - ACM Conference on Information and Knowledge Management
Conference on Information and Knowledge Management
The ACM Conference on Information and Knowledge Management is an annual computer science research conference dedicated to information and knowledge management. Since the first event in 1992, the conference has evolved into one of the major forums for research on database management, information...
ER - International Conference on Conceptual Modeling
ICIS - International Conference on Information Systems
International Conference on Information Systems
International Conference on Information Systems is an annual international conference for academics and research-oriented practitioners in the area of Information Systems...
SSTD - Symposium on Spatial and Temporal Databases

formerly: SSD - "Symposium on Large Spatial Databases"

WebDB - International Workshop on the Web and Databases
SSDBM - International Conference on Scientific and Statistical Database Management
CAiSE - Conference on Advanced Information Systems Engineering
ECIS - European Conference on Information Systems
European Conference on Information Systems
The European Conference on Information Systems is an annual conference for Information Systems and Information Technology academics and professionals and is affiliated with the Association for Information Systems...
PAKDD – The annual Pacific-Asia Conference on Knowledge Discovery and Data Mining

Artificial intelligence

Conferences on artificial intelligence

Artificial intelligence

Artificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...

and machine learning

Machine learning

Machine learning, a branch of artificial intelligence, is a scientific discipline concerned with the design and development of algorithms that allow computers to evolve behaviors based on empirical data, such as from sensor data or databases...

AAAI - AAAI Conference on Artificial Intelligence

a.k.a. "National Conference of the American Association for Artificial Intelligence"

IJCAI - International Joint Conference on Artificial Intelligence
International Joint Conference on Artificial Intelligence
The International Joint Conference on Artificial Intelligence is a meeting of researchers from the different areas of artificial intelligence . It is organized by the IJCAI, Inc., and has been held every other year since 1969. Originally, the other years saw the meetings of the ECAI, AAAI, and a...
AISB - Annual Convention of The Society for the Study of Artificial Intelligence and Simulation of Behaviour
KR - International Conference on the Principles of Knowledge Representation and Reasoning
UAI - Conference on Uncertainty in Artificial Intelligence
AAMAS - International Conference on Autonomous Agents and Multiagent Systems
International Conference on Autonomous Agents and Multiagent Systems
The International Conference on Autonomous Agents and Multi-Agent Systems or AAMAS is the leading scientific conference for research in the areas of artificial intelligence, autonomous agents, and multiagent systems...

merger of: "International Conference on Autonomous Agents", ATAL - "Workshop on Agent Theories, Architectures, and Languages", ICMAS - "International Conference on Multiagent Systems"

ICAPS - International Conference on Automated Planning and Scheduling

merger of: AIPS - "Artificial Intelligence Planning Systems", ECP - "European Conference on Planning"

ICML - International Conference on Machine Learning
NIPS - Conference on Neural Information Processing Systems
COLT - Conference on Learning Theory

formerly: "Conference on Computational Learning Theory"

merger of: COLT, EuroCOLT - "European Conference on Computational Learning Theory"

ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases

merger of: ECML - "European Conference on Machine Learning", PKDD - "European Conference on Principles and Practice of Knowledge Discovery in Databases"

formerly: EWSL - "European Working Session on Learning", PKDD - "European Symposium on Principles of Data Mining and Knowledge Discovery from Databases"

ECAI - European Conference on Artificial Intelligence
European Conference on Artificial Intelligence
The biennial European Conference on Artificial Intelligence is the leading conference in the field of Artificial Intelligence in Europe, and is commonly listed together with IJCAI and AAAI as one of the three major general AI conferences worldwide...
RuleML - RuleML Symposium
RuleML Symposium
The annual International Symposium on Rules is an international conference on research, applications, languages and standards for rule technologies...
FOGA - Foundations of Genetic Algorithms

Automated reasoning

Conferences on automated reasoning

Automated reasoning

Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...

IJCAR - International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
CADE - Conference on Automated Deduction
Conference on Automated Deduction
The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the USA. However, conferences have been held all...
TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it joins with CADE and TPHOLs into the International Joint...
LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning
WoLLIC - Workshop on Logic, Language, Information and Computation
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...

Computer vision

Conferences on computer vision

Computer vision

Computer vision is a field that includes methods for acquiring, processing, analysing, and understanding images and, in general, high-dimensional data from the real world in order to produce numerical or symbolic information, e.g., in the forms of decisions...

(including also image analysis

Image analysis

Image analysis is the extraction of meaningful information from images; mainly from digital images by means of digital image processing techniques...

) and pattern recognition

Pattern recognition

In machine learning, pattern recognition is the assignment of some sort of output value to a given input value , according to some specific algorithm. An example of pattern recognition is classification, which attempts to assign each input value to one of a given set of classes...

ICCV - International Conference on Computer Vision
International Conference on Computer Vision
ICCV, the International Conference on Computer Vision, is a bi-annual research conference organised by the IEEE. It is considered the top level conference in computer vision, with a 'A+' rating from the Australian Ranking of ICT Conferences...
CVPR - Conference on Computer Vision and Pattern Recognition
Conference on Computer Vision and Pattern Recognition
The Conference on Computer Vision and Pattern Recognition is the IEEE annual conference on computer vision and pattern recognition. It has an 'A' rating from the Australian Ranking of ICT Conferences....
ECCV - European Conference on Computer Vision
European Conference on Computer Vision
ECCV, the European Conference on Computer Vision, is a bi-annual research conference organised by the IEEE. Similar to ICCV in scope and quality, it is held those years which ICCV is not. Like ICCV, it is considered an important conference in computer vision, with an 'A' rating from the Australian...
BMVC - British Machine Vision Conference
ACCV - Asian Conference on Computer Vision
ICPR - International Conference on Pattern Recognition
CAIP - Computer Analysis of Images and Patterns
SCIA - Scandinavian Conference on Image Analysis
Scandinavian Conference on Image Analysis
SCIA, the Scandinavian Conference on Image Analysis, is a bi-annual scientific conference organized by the national pattern recognition societies in the Nordic countries...
PSIVT - Pacific Rim Symposium on Image and Video Technology
SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation

Natural language processing

Conferences on computational linguistics

Computational linguistics

Computational linguistics is an interdisciplinary field dealing with the statistical or rule-based modeling of natural language from a computational perspective....

and natural language processing

Natural language processing

Natural language processing is a field of computer science and linguistics concerned with the interactions between computers and human languages; it began as a branch of artificial intelligence....

ACL - Annual Meeting of the Association for Computational Linguistics
COLING - International Conference on Computational Linguistics
NAACL - Annual Conference of the North American Chapter of the Association for Computational Linguistics
EACL - Annual Conference of the European Chapter of the Association for Computational Linguistics
CICLing - International Conference on Intelligent Text Processing and Computational Linguistics
International Conference on Intelligent Text Processing and Computational Linguistics
CICLing is the name of an annual conference on natural language processing and computational linguistics . The first CICLing conference was held in 2000. The conference is attended by about hundred of NLP and CL researchers and students every year...
NLDB - International Conference on Applications of Natural Language to Information Systems

Computer graphics

Conferences on computer graphics

Computer graphics

Computer graphics are graphics created using computers and, more generally, the representation and manipulation of image data by a computer with help from specialized software and hardware....

, image processing

Image processing

In electrical engineering and computer science, image processing is any form of signal processing for which the input is an image, such as a photograph or video frame; the output of image processing may be either an image or, a set of characteristics or parameters related to the image...

, and multimedia

Multimedia

Multimedia is media and content that uses a combination of different content forms. The term can be used as a noun or as an adjective describing a medium as having multiple content forms. The term is used in contrast to media which use only rudimentary computer display such as text-only, or...

SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques
I3D - ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games

a.k.a. SI3D, I3DG

MM - ACM International Conference on Multimedia

a.k.a. ACMMM - "ACM Multimedia Conference"

DCC - Data Compression Conference
ICME - IEEE International Conference on Multimedia and Expo

a.k.a. ICMCS - "International Conference on Multimedia Computing and Systems"

Vis - IEEE Visualization Conference
Eurographics - Annual Conference of the European Association for Computer Graphics
ACM SIGGRAPH/Eurographics Conference on Graphics Hardware
InfoVis - IEEE Information Visualization Conference
SCA - ACM SIGGRAPH/Eurographics Symposium on Computer Animation
ICIP - IEEE International Conference on Image Processing
GI - Graphics Interface

Human–computer interaction

Conferences on human–computer interaction

Human–computer interaction

Human–computer Interaction is the study, planning, and design of the interaction between people and computers. It is often regarded as the intersection of computer science, behavioral sciences, design and several other fields of study...

and user interface

User interface

The user interface, in the industrial design field of human–machine interaction, is the space where interaction between humans and machines occurs. The goal of interaction between a human and a machine at the user interface is effective operation and control of the machine, and feedback from the...

CHI - ACM Conference on Human Factors in Computing Systems
CSCW - Conference on Computer Supported Cooperative Work
UIST - ACM Symposium on User Interface Software and Technology
IUI - International Conference on Intelligent User Interfaces
DIS - Designing Interactive Systems
INTERACT - IFIP Conference on Human-Computer Interaction
MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
SIGDOC - ACM International Conference on Design of Communication
VL/HCC - IEEE Symposium on Visual Languages and Human-Centric Computing
ASSETS - International ACM SIGACCESS Conference on Computers and Accessibility

formerly: "International ACM Conference on Assistive Technologies"

Computational biology

Conferences on bioinformatics

Bioinformatics

Bioinformatics is the application of computer science and information technology to the field of biology and medicine. Bioinformatics deals with algorithms, databases and information systems, web technologies, artificial intelligence and soft computing, information and computation theory, software...

and computational biology

Computational biology

Computational biology involves the development and application of data-analytical and theoretical methods, mathematical modeling and computational simulation techniques to the study of biological, behavioral, and social systems...

ISMB - International Conference on Intelligent Systems for Molecular Biology
RECOMB - International Conference on Research in Computational Molecular Biology
PSB - Pacific Symposium on Biocomputing
Pacific Symposium on Biocomputing
The Pacific Symposium on Biocomputing is an international, multidisciplinary scientific meeting held annually since 1996. The purpose of this conference is for the presentation and discussion of current research in the theory and application of computational methods in problems of biological...
WABI - Workshop on Algorithms in Bioinformatics
IJCBS - International Joint Conferences on Bioinformatics, Systems Biology and Intelligent Computing

Education

Conferences on computer science education and electronic learning:

SIGCSE - ACM Technical Symposium on Computer Science Education
ITiCSE - ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education

a.k.a. "Integrating Technology into Computer Science Education"

ITS - International Conference on Intelligent Tutoring Systems
ICALT - International Conference on Advanced Learning Technologies
AIED - International Conference on Artificial Intelligence in Education
CSCL - International Conference on Computer Supported Collaborative Learning

External links

The source of this article is wikipedia, the free encyclopedia. The text of this article is licensed under the GFDL.

Algorithms and theory

Algorithms

Geometric algorithms

Other specialized subtopics

Programming languages

Concurrent, distributed and parallel computing

High-performance computing

Software engineering

Formal methods

Operating systems

Computer architecture

Computer hardware

Real-time and embedded systems

Computer-aided design

Computer networking

Wireless networks

Security and privacy

Cryptography

Data Management

Artificial intelligence

Automated reasoning

Computer vision

Natural language processing

Computer graphics

Human–computer interaction

Computational biology

Education

See also

External links