List of computer science conferences
Encyclopedia
This is a list of academic conference
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...

s:
  • 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
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 and 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 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...

s:
  • 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"
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...

s:
  • 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
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...

s:
  • 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
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"
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...

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

See also


External links

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