List of computer science conferences

This is a list ofacademic conferencesincomputer science.Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names.

General

• FCRC –Federated Computing Research Conference

Algorithms and theory

Main article:Theoretical computer science § Conferences

Conferences accepting a broad range of topics fromtheoretical computer science,includingalgorithms,data structures,computability,computational complexity,automata theoryandformal languages:

• CCC -Computational Complexity Conference
• FCT –International Symposium on Fundamentals of Computation Theory
• FOCS – IEEESymposium 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 – ACMSymposium on Theory of Computing
• WoLLIC –Workshop on Logic, Language, Information and Computation

Algorithms

Conferences whose topic isalgorithmsanddata structuresconsidered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:

• ESA –European Symposium on Algorithms
• SODA – ACM–SIAMSymposium on Discrete Algorithms
• SWAT and WADS –SWAT and WADS conferences

Geometric algorithms

Conferences oncomputational geometry,graph drawing,and other application areas of geometric computing:

• GD –International Symposium on Graph Drawing
• SoCG –Symposium on Computational Geometry

Logic

See also:§ Formal methods,and§ Automated reasoning

• LICS – ACM–IEEESymposium on Logic in Computer Science
• RTA –International Conference on Rewriting Techniques and Applications

Other specialized subtopics

• 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

Programming languages

Conferences onprogramming languages,programming language theoryandcompilers:

• CCInternational Conference on Compiler Construction
• ECOOP – AITOEuropean Conference on Object-Oriented Programming
• ESOP – ETAPSEuropean Symposium on Programming
• HOPL – ACM SIGPLANHistory of Programming Languages Conference
• ICFP – ACM SIGPLANInternational Conference on Functional Programming
• ICLP – ALPInternational Conference on Logic Programming
• ISMM – ACM SIGPLANInternational Symposium on Memory Management
• OOPSLA – ACM SIGPLANConference on Object-Oriented Programming, Systems, Languages, and Applications
• POPL – ACM SIGPLAN-SIGACTSymposium on Principles of Programming Languages
• PLDI – ACM SIGPLANConference on Programming Language Design and Implementation

Software engineering

Conferences onsoftware engineering:

• ASE – IEEE/ACMInternational Conference on Automated Software Engineering
• ICSE –International Conference on Software Engineering
• ICSR –International Conference on Software Reuse
• TACAS - ETAPSInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
• FoSSaCS - ETAPSInternational Conference on Foundations of Software Science and Computation Structures
• FASE - ETAPSInternational Conference on Fundamental Approaches to Software Engineering

Formal methods

See also:§ Logic,and§ Automated reasoning

Conferences onformal methodsin software engineering, includingformal specification,formal verification,andstatic code analysis:

• CAV –Computer Aided Verification
• FORTE – IFIPInternational Conference on Formal Techniques for Networked and Distributed Systems

Concurrent, distributed and parallel computing

Main article:List of distributed computing conferences

See also:§ Computer networking

Conferences onconcurrent,distributed,andparallel computing,fault-tolerant systems,and dependable systems:

• CCGrid -IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing
• CLUSTER -IEEE International Conference on Cluster Computing
• CONCUR -International Conference on Concurrency Theory
• DEBS - ACM International Conference onDistributed Event-Based Systems
• DISC -International Symposium on Distributed Computing
• DSN -International Conference on Dependable Systems and Networks
• ICDCS - IEEEInternational Conference on Distributed Computing Systems
• ICPADS - IEEEInternational Conference on Parallel and Distributed Systems
• ICPP -International Conference on Parallel Processing
• IPDPS - IEEEInternational Parallel and Distributed Processing Symposium
• PODC - ACMSymposium on Principles of Distributed Computing
• PPoPP - ACM SIGPLANSymposium on Principles and Practice of Parallel Programming
• SIROCCO -International Colloquium on Structural Information and Communication Complexity
• SPAA - ACMSymposium on Parallelism in Algorithms and Architectures
• SRDS - IEEEInternational Symposium on Reliable Distributed Systems

High-performance computing

Conferences onhigh-performance computing,cluster computing,andgrid computing:

• HiPC -International Conference on High Performance Computing
• SC - ACM/IEEEInternational Conference for High Performance Computing, Networking, Storage, and Analysis
• HPDC - ACMHigh Performance Parallel and Distributed Computing
• ICS - ACMInternational Conference on Supercomputing

Operating systems

See also:§ Computer networking,and§ High-performance computing

Conferences onoperating systems,storage systemsandmiddleware:

• ATC -USENIX Annual Technical Conference
• Middleware - ACM/IFIP/USENIXInternational Middleware Conference
• SOSP - ACMSymposium on Operating Systems Principles
• OSDI - USENIXSymposium on Operating Systems Design and Implementation
• SYSTOR - ACMInternational Systems and Storage Conference

Computer architecture

Conferences oncomputer architecture:

• ASPLOS -International Conference on Architectural Support for Programming Languages and Operating Systems
• ISCA -International Symposium on Computer Architecture
• MICRO - IEEE/ACMInternational Symposium on Microarchitecture

Computer-aided design

Conferences oncomputer-aided designandelectronic 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

See also:§ Concurrent, distributed and parallel computing

Conferences oncomputer networking:

• GlobeCom - IEEEGlobal Communications Conference
• ICC - IEEEInternational Conference on Communications
• ICSOC -International Conference on Service Oriented Computing
• INFOCOM - IEEEConference on Computer Communications
• SIGMETRICS - ACMSIGMETRICS
• WINE -The Workshop on Internet & Network Economics

Wireless networks and mobile computing

Wireless networksandmobile computing,includingubiquitousandpervasive computing,wireless ad hoc networksandwireless sensor networks:

• EWSN -European Conference on Wireless Sensor Networks
• IPSN - ACM/IEEEInternational Conference on Information Processing in Sensor Networks
• ISWC -International Symposium on Wearable Computers
• SenSys - ACMConference on Embedded Networked Sensor Systems

Security and privacy

Conferences oncomputer securityandprivacy:

• DSN -International Conference on Dependable Systems and Networks

Cryptography

Cryptographyconferences:

• ANTS -Algorithmic Number Theory Symposium
• RSA -RSA Conference

Data management

Conferences ondatabases,information systems,information retrieval,data miningand theWorld Wide Web:

• BTW - GIConference on Database Systems for Business, Technology and Web
• CIDR -Conference on Innovative Data Systems Research
• CIKM - ACMConference 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/IEEEJoint Conference on Digital Libraries
• PODS - ACMSymposium on Principles of Database Systems
• SIGMOD - ACMSpecial Interest Group on Management of Data
• VLDB -International Conference on Very Large Data Bases
• WWW -World Wide Web Conference

Artificial intelligence

Conferences onartificial intelligenceandmachine 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

Conferences onEvolutionary computation.

• AE -Artificial Evolution Conference
• CEC -IEEE Congress on Evolutionary Computation
• GECCO -Genetic and Evolutionary Computation Conference

Automated reasoning

See also:§ Logic,and§ Formal methods

Conferences onautomated 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

See also:§ Computer graphics

Conferences oncomputer vision(including alsoimage analysis) andpattern 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

Conferences oncomputational linguisticsandnatural 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

See also:§ Computer vision

Conferences oncomputer graphics,geometry processing,image processing,andmultimedia:

• MM - ACMInternational Conference on Multimedia
• SGP -Symposium on Geometry Processing
• SIGGRAPH -International Conference on Computer Graphics and Interactive Techniques

Human–computer interaction

Conferences onhuman–computer interactionanduser interfaces:

• CHI - ACMConference 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 - ACMInternational Conference on User Modeling, Adaptation, and Personalization

Bioinformatics and computational biology

Conferences onbioinformaticsandcomputational 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

• List of computer science conference acronyms
• List of computer science journals
• Outline of computer science

External links

• DBLP database with conferences and workshops
• List of computer science conferencesranked byh-index