Wikipedia / List of computer science conferences
Wikipedia / List of computer science conferences
This is a list of current and past academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names.
General
Algorithms and theory
Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:
FCT – International Symposium on Fundamentals of Computation Theory
FOCS – IEEE Symposium on Foundations of Computer Science
ICALP – International Colloquium on Automata, Languages and Programming
ISAAC – International Symposium on Algorithms and Computation
STACS – Symposium on Theoretical Aspects of Computer Science
STOC – ACM Symposium on Theory of Computing
Algorithms
Conferences whose topic is algorithms and data structures considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:
SODA – ACM–SIAM Symposium on Discrete Algorithms
SWAT and WADS – SWAT and WADS conferences
Geometric algorithms
Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
Other specialized subtopics
CIAA – International Conference on Implementation and Application of Automata
DCFS – International Workshop on Descriptional Complexity of Formal Systems
DLT – International Conference on Developments in Language Theory
ISSAC – International Symposium on Symbolic and Algebraic Computation
Languages and software
Programming languages
Conferences on programming languages, programming language theory and compilers:
ESOP – ETAPS European Symposium on Programming
HOPL – ACM SIGPLAN History of Programming Languages Conference
ICFP – ACM SIGPLAN International Conference on Functional Programming
OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation
Software engineering
Conferences on software engineering:
ASE – IEEE/ACM International Conference on Automated Software Engineering
ISSRE – IEEE International Symposium on Software Reliability Engineering
FASE – ETAPS International Conference on Fundamental Approaches to Software Engineering
Formal methods and logic
Conferences on formal methods (including formal verification), logic, and automated reasoning:
FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems
FoSSaCS – ETAPS International Conference on Foundations of Software Science and Computation Structures
IJCAR - International Joint Conference on Automated Reasoning
LICS – ACM–IEEE Symposium on Logic in Computer Science
LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning
TACAS – ETAPS International Conference on Tools and Algorithms for the Construction and Analysis of Systems
RuleML - RuleML Symposium
WoLLIC - Workshop on Logic, Language, Information and Computation
Concurrent, distributed and parallel computing
Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:
DSN - International Conference on Dependable Systems and Networks
ICDCS - IEEE International Conference on Distributed Computing Systems
IPDPS - IEEE International Parallel and Distributed Processing Symposium
SIROCCO - International Colloquium on Structural Information and Communication Complexity
SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
SRDS - IEEE International Symposium on Reliable Distributed Systems
High-performance computing
Conferences on high-performance computing, cluster computing, and grid computing:
HiPC - International Conference on High Performance Computing
SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis
Operating systems
Conferences on operating systems, storage systems and middleware:
SOSP - ACM Symposium on Operating Systems Principles
OSDI - USENIX Symposium on Operating Systems Design and Implementation
Computer architecture
Conferences on computer architecture:
ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems
MICRO - IEEE/ACM International Symposium on Microarchitecture
Computer-aided design
Conferences on computer-aided design and electronic design automation:
Computer networking
Conferences on computer networking:
NSDI - USENIX Symposium on Networked Systems Design and Implementation
GlobeCom - IEEE Global Communications Conference
ICC - IEEE International Conference on Communications
SIGMETRICS - ACM SIGMETRICS
Wireless networks and mobile computing
Wireless networks and mobile computing, including ubiquitous and pervasive computing, wireless ad hoc networks and wireless sensor networks:
Security and privacy
Conferences on computer security and privacy:
DSN - International Conference on Dependable Systems and Networks
USENIX Security - USENIX Security Symposium
Cryptography
Cryptography conferences:
RSA - RSA Conference
Data management
Conferences on databases, information systems, information retrieval, data mining and the World Wide Web:
BTW - GI Conference on Database Systems for Business, Technology and Web
JCDL - ACM/IEEE Joint Conference on Digital Libraries
PODS - ACM Symposium on Principles of Database Systems
SIGMOD - ACM Special Interest Group on Management of Data
Artificial intelligence
Conferences on artificial intelligence and machine learning:
AAMAS - International Conference on Autonomous Agents and Multiagent Systems
ICAPS - International Conference on Automated Planning and Scheduling
CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
IJCAI - International Joint Conference on Artificial Intelligence
NeurIPS - Conference on Neural Information Processing Systems
Evolutionary computation
Conferences on Evolutionary computation.
Computer vision
Conferences on computer vision (including also image analysis) and pattern recognition:
Natural language processing
Conferences on computational linguistics and natural language processing:
COLING - International Committee on Computational Linguistics
CICLing - International Conference on Intelligent Text Processing and Computational Linguistics
Computer graphics
Conferences on computer graphics, geometry processing, image processing, and multimedia:
Human–computer interaction
Conferences on human–computer interaction and user interfaces:
GI - Graphics Interface
MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
UIST - ACM Symposium on User Interface Software and Technology
UMAP - ACM International Conference on User Modeling, Adaptation, and Personalization
Bioinformatics and computational biology
Conferences on bioinformatics and computational biology:
CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
See also
ACM SIGHPC – Association for Computing Machinery's Special Interest Group on High Performance Computing
References
External links