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.
Contents
- 1 General
- 2 Algorithms and theory
- 3 Languages and software
- 4 Concurrent, distributed and parallel computing
- 5 Operating systems
- 6 Computer architecture
- 7 Computer networking
- 8 Security and privacy
- 9 Data management
- 10 Artificial intelligence
- 11 Computer graphics
- 12 Humancomputer interaction
- 13 Computational biology
- 14 Education
- 15 See also
- 16 External links
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:
- 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 ACMSIAM Symposium on Discrete Algorithms
- SWAT Scandinavian Symposium and Workshops on Algorithm Theory
- WADS Algorithms and Data Structures Symposium
- WAOA Workshop on Approximation and Online Algorithms
Geometric algorithms[edit]
Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
Logic[edit]
- LICS ACMIEEE 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
Languages and software[edit]
Programming languages[edit]
Conferences on programming languages, programming language theory and compilers:
- CC ETAPS 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
- MODELS IEEE/ACM International Conference on Model Driven Engineering Languages and Systems
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:
- 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
- FAST - USENIX Conference on File and Storage Technologies
- 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 hardware[edit]
Conferences on computer hardware:
- ISCAS - IEEE International Symposium on Circuits and Systems
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
- SIGCOMM - ACM SIGCOMM Conference
- 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
- MobiHoc - ACM International Symposium on Mobile Ad Hoc Networking and Computing
- SenSys - ACM Conference on Embedded Networked Sensor Systems
Security and privacy[edit]
Conferences on computer security and privacy:
Cryptography[edit]
Cryptography conferences:
- ACNS - Applied Cryptography and Network Security
- ANTS - Algorithmic Number Theory Symposium
- ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security
- CHES - Workshop on Cryptographic Hardware and Embedded Systems
- CRYPTO - International Cryptology Conference
- EUROCRYPT - International Conference on the Theory and Applications of Cryptographic Techniques
- FSE - Fast Software Encryption Workshop
- INDOCRYPT - International Conference on Cryptology in India
- PKC - International Workshop on Practice and Theory in Public Key Cryptography
- RSA - RSA Conference
- TCC - Theory of Cryptography Conference
Data management[edit]
Conferences on databases, information systems, information retrieval, data mining and the world wide 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
- KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining
- PODS - ACM Symposium on Principles of Database Systems
- SIGIR - Annual International ACM SIGIR Conference
- SIGMOD - ACM SIGMOD Conference
- VLDB - International Conference on Very Large Data Bases
- WWW - World Wide Web Conference
- WSDM - ACM International Conference on Web Search and Data Mining
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
- 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
- IJCAI - International Joint Conference on Artificial Intelligence
- ISWC - International Semantic Web Conference
- NIPS - Conference on Neural Information Processing Systems
- RuleML - RuleML Symposium
Evolutionary computation[edit]
Conferences on Evolutionary computation.
- 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 - Conference on Computer Vision and Pattern Recognition
- ECCV - European Conference on Computer Vision
- ICCV - International Conference on Computer Vision
- PSIVT - Pacific Rim Symposium on Image and Video Technology
- 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:
- ACL - Annual Meeting of the Association for Computational Linguistics
- CICLing - International Conference on Intelligent Text Processing and Computational Linguistics
- NAACL - Annual Conference of the North American Chapter of the Association for Computational Linguistics
- TSD - Text, Speech and Dialogue
Computer graphics[edit]
Conferences on computer graphics, geometry processing, image processing, and multimedia:
- Eurographics - Annual Conference of the European Association for Computer Graphics
- MM - ACM International Conference on Multimedia
- SGP - Symposium on Geometry Processing
- SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques
Visualization[edit]
Conferences on scientific visualization and information visualization:
Humancomputer interaction[edit]
Conferences on humancomputer interaction and user interfaces:
- ASSETS - International ACM SIGACCESS Conference on Computers and Accessibility
- CHI - ACM Conference on Human Factors in Computing Systems
- GI - Graphics Interface
- MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
- SIGDOC - ACM International Conference on Design of Communication
- UIST - ACM Symposium on User Interface Software and Technology
Computational biology[edit]
Conferences on bioinformatics and computational biology:
- CIBB - International Meeting 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
- WABI - Workshop on Algorithms in Bioinformatics
Education[edit]
Conferences on computer science education and electronic learning:
- SIGCSE - ACM Technical Symposium on Computer Science Education
See also[edit]
- List of computer science conference acronyms
- List of computer science journals
- List of publications in computer science
- Outline of computer science