List of computer science conferences
This is a list of 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
[edit]Algorithms and theory
[edit]Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:
- CCC - Computational Complexity Conference
- FCT – International Symposium on Fundamentals of Computation Theory
- FOCS – IEEE Symposium on Foundations of Computer Science
- ICALP – International Colloquium on Automata, Languages and Programming
- ISAAC – International Symposium on Algorithms and Computation
- MFCS – International Symposium on Mathematical Foundations of Computer Science
- STACS – Symposium on Theoretical Aspects of Computer Science
- STOC – ACM Symposium on Theory of Computing
- WoLLIC – Workshop on Logic, Language, Information and Computation
Algorithms
[edit]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:
- ESA – European Symposium on Algorithms
- SODA – ACM–SIAM Symposium on Discrete Algorithms
- SWAT and WADS – SWAT and WADS conferences
Geometric algorithms
[edit]Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
Logic
[edit]- LICS – ACM–IEEE Symposium on Logic in Computer Science
- RTA – International Conference on Rewriting Techniques and Applications
Other specialized subtopics
[edit]- CIAA – International Conference on Implementation and Application of Automata
- CCC – Computational Complexity Conference
- DCFS – International Workshop on Descriptional Complexity of Formal Systems
- DLT – International Conference on Developments in Language Theory
- ISSAC – International Symposium on Symbolic and Algebraic Computation
- Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency
- RP – International Conference on Reachability Problems
- SEA – Symposium on Experimental Algorithms
Languages and software
[edit]Programming languages
[edit]Conferences on programming languages, programming language theory and compilers:
- CC International Conference on Compiler Construction
- ECOOP – AITO European Conference on Object-Oriented Programming
- ESOP – ETAPS European Symposium on Programming
- HOPL – ACM SIGPLAN History of Programming Languages Conference
- ICFP – ACM SIGPLAN International Conference on Functional Programming
- ICLP – ALP International Conference on Logic Programming
- ISMM – ACM SIGPLAN International Symposium on Memory Management
- OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
- POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation
Software engineering
[edit]Conferences on software engineering:
- ASE – IEEE/ACM International Conference on Automated Software Engineering
- ICSE – International Conference on Software Engineering
- ICSR – International Conference on Software Reuse
- TACAS - ETAPS International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- FoSSaCS - ETAPS International Conference on Foundations of Software Science and Computation Structures
- FASE - ETAPS International Conference on Fundamental Approaches to Software Engineering
Formal methods
[edit]Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:
- CAV – Computer Aided Verification
- FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems
Concurrent, distributed and parallel computing
[edit]Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:
- CONCUR - International Conference on Concurrency Theory
- DEBS - ACM International Conference on Distributed Event-Based Systems
- DISC - International Symposium on Distributed Computing
- DSN - International Conference on Dependable Systems and Networks
- ICDCS - IEEE International Conference on Distributed Computing Systems
- ICPADS - IEEE International Conference on Parallel and Distributed Systems
- IPDPS - IEEE International Parallel and Distributed Processing Symposium
- PODC - ACM Symposium on Principles of Distributed Computing
- PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
- SIROCCO - International Colloquium on Structural Information and Communication Complexity
- SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
- SRDS - IEEE International Symposium on Reliable Distributed Systems
High-performance computing
[edit]Conferences on high-performance computing, cluster computing, and grid computing:
- HiPC - International Conference on High Performance Computing
- SC - ACM/IEEE Supercomputing Conference
Operating systems
[edit]Conferences on operating systems, storage systems and middleware:
- ATC - USENIX Annual Technical Conference
- Middleware - ACM/IFIP/USENIX International Middleware Conference
- SOSP - ACM Symposium on Operating Systems Principles
- SYSTOR - ACM International Systems and Storage Conference
Computer architecture
[edit]Conferences on computer architecture:
- ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems
- ISCA - International Symposium on Computer Architecture
- MICRO - IEEE/ACM International Symposium on Microarchitecture
Computer-aided design
[edit]Conferences on computer-aided design and electronic design automation:
- ASP-DAC - Asia and South Pacific Design Automation Conference
- DAC - Design Automation Conference
- DATE - Design, Automation, and Test in Europe
- ICCAD - International Conference on Computer-Aided Design
- ISPD - International Symposium on Physical Design
Computer networking
[edit]Conferences on computer networking:
- GlobeCom - IEEE Global Communications Conference
- ICC - IEEE International Conference on Communications
- ICSOC - International Conference on Service Oriented Computing
- INFOCOM - IEEE Conference on Computer Communications
- SIGMETRICS - ACM SIGMETRICS
- WINE - The Workshop on Internet & Network Economics
Wireless networks and mobile computing
[edit]Wireless networks and mobile computing, including ubiquitous and pervasive computing, wireless ad hoc networks and wireless sensor networks:
- EWSN - European Conference on Wireless Sensor Networks
- IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks
- ISWC - International Symposium on Wearable Computers
- SenSys - ACM Conference on Embedded Networked Sensor Systems
Security and privacy
[edit]Conferences on computer security and privacy:
Cryptography
[edit]Cryptography conferences:
- ANTS - Algorithmic Number Theory Symposium
- RSA - RSA Conference
Data management
[edit]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
- CIDR - Conference on Innovative Data Systems Research
- CIKM - ACM Conference on Information and Knowledge Management
- ECIR - European Conference on Information Retrieval
- ECIS - European Conference on Information Systems
- ER - International Conference on Conceptual Modeling
- ICDT - International Conference on Database Theory
- ICIS - International Conference on Information Systems
- ISWC - International Semantic Web Conference
- JCDL - ACM/IEEE Joint Conference on Digital Libraries
- PODS - ACM Symposium on Principles of Database Systems
- SIGMOD - ACM Special Interest Group on Management of Data
- VLDB - International Conference on Very Large Data Bases
- WWW - World Wide Web Conference
Artificial intelligence
[edit]Conferences on artificial intelligence and machine learning:
- AAAI - AAAI Conference on Artificial Intelligence
- AAMAS - International Conference on Autonomous Agents and Multiagent Systems
- ICAPS - International Conference on Automated Planning and Scheduling
- CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
- ECAI - European Conference on Artificial Intelligence
- ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
- ICML - International Conference on Machine Learning
- ICLR - International Conference on Learning Representations
- IJCAI - International Joint Conference on Artificial Intelligence
- ISWC - International Semantic Web Conference
- NeurIPS - Conference on Neural Information Processing Systems
- RuleML - RuleML Symposium
Evolutionary computation
[edit]Conferences on Evolutionary computation.
- AE - Artificial Evolution Conference
- CEC - IEEE Congress on Evolutionary Computation
- GECCO - Genetic and Evolutionary Computation Conference
Automated reasoning
[edit]Conferences on automated reasoning:
- IJCAR - International Joint Conference on Automated Reasoning
- LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning
- RuleML - RuleML Symposium
- TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
- WoLLIC - Workshop on Logic, Language, Information and Computation
Computer vision
[edit]Conferences on computer vision (including also image analysis) and pattern recognition:
- BMVC - British Machine Vision Conference
- CVPR - IEEE Conference on Computer Vision and Pattern Recognition
- ECCV - European Conference on Computer Vision
- ICCV - International Conference on Computer Vision
- SCIA - Scandinavian Conference on Image Analysis
- SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation
Natural language processing
[edit]Conferences on computational linguistics and natural language processing:
- EMNLP - Empirical Methods in Natural Language Processing
- COLING - International Committee on Computational Linguistics
- TSD - Text, Speech and Dialogue
- CICLing - International Conference on Intelligent Text Processing and Computational Linguistics
Computer graphics
[edit]Conferences on computer graphics, geometry processing, image processing, and multimedia:
- MM - ACM International Conference on Multimedia
- SGP - Symposium on Geometry Processing
- SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques
Human–computer interaction
[edit]Conferences on human–computer interaction and user interfaces:
- CHI - ACM Conference on Human Factors in Computing Systems
- GI - Graphics Interface
- MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
- UIST - ACM Symposium on User Interface Software and Technology
- UMAP - ACM International Conference on User Modeling, Adaptation, and Personalization
Bioinformatics and computational biology
[edit]Conferences on bioinformatics and computational biology:
- CIBB - International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics
- ISMB - Intelligent Systems for Molecular Biology
- PSB - Pacific Symposium on Biocomputing
- RECOMB - Research in Computational Molecular Biology
See also
[edit]- List of computer science conference acronyms
- List of computer science journals
- Outline of computer science