List of computer science conference acronyms

This is a list of academic conferences in computer science, ordered by their acronyms or abbreviations.

A

• AAAI – AAAI Conference on Artificial Intelligence
• ABZ – International Conference on Abstract State Machines, Alloy, B and Z
• ACL – Annual Meeting of the Association for Computational Linguistics
• ADMA – International Conference on Advanced Data Mining and Applications
• AFRICOMM – International Conference on e‐Infrastructure and e‐Services for Developing Countries
• AI@50 – Dartmouth Artificial Intelligence Conference: The Next Fifty Years
• AIED – Artificial Intelligence in Education
• AIRS – Asia Information Retrieval Societies Conference
• ALGO – ALGO Conference
• ALGOSENSORS – International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
• AMCIS – Americas Conference on Information Systems
• AMI – International Joint Conference on Ambient Intelligence
• ANTS – Algorithmic Number Theory Symposium
• APLAS – Asian Symposium on Programming Languages and Systems
• ARC – 10th International Symposium on Applied Reconfigurable Computing
• ARES – International Conference on Availability, Reliability and Security
• ASIACRYPT – International Conference on the Theory and Application of Cryptology and Information Security
• ASP-DAC – Asia and South Pacific Design Automation Conference
• ASE – IEEE/ACM International Conference on Automated Software Engineering
• ASWEC – Australian Software Engineering Conference
• ATMOS – Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems

B

• BASYS – IFIP / SOCOLNET Working Conference on Information Technology Balanced Automation

C

• CADE – Conference on Automated Deduction
• CALCO – Conference on Algebra and Coalgebra in Computer Science
• CATS - Competition on Applied Text Searching
• CAV – Computer Aided Verification
• CC – International Conference on Compiler Construction
• CHES – Workshop on Cryptographic Hardware and Embedded Systems
• CHI – ACM Conference on Human Factors in Computing Systems
• CIAA – International Conference on Implementation and Application of Automata
• CIBB - International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics
• CICLing – International Conference on Intelligent Text Processing and Computational Linguistics
• CIDR – Conference on Innovative Data Systems Research
• CIKM - Conference on Information and Knowledge Management
• CloudComp - International Conference on Cloud Computing
• CLSW - Chinese Lexical Semantics Workshop
• CONCUR - International Conference on Concurrency Theory
• COSIT – Conference on Spatial Information Theory
• CPM - Combinatorial Pattern Matching
• CPP - Certified Programs and Proofs
• CRYPTO – International Cryptology Conference
• CSR – Computer Science in Russia
• CSS - International Symposium on Cyberspace Safety and Security
• CSS - International Conference on Cryptography and Security System
• CUSEC – Canadian University Software Engineering Conference
• CVPR – Conference on Computer Vision and Pattern Recognition

D

• DAC – Design Automation Conference
• DATE – Design, Automation, and Test in Europe
• DASFAA - International Conference on Database Systems for Advanced Applications
• DaWaK – International Conference on Data Warehousing and Knowledge Discovery
• DCFS – International Workshop on Descriptional Complexity of Formal Systems
• DEXA - International Conference on Database and Expert Systems Applications
• DGCI - International Conference on Discrete Geometry for Computer Imagery
• DISC – International Symposium on Distributed Computing
• DLT – International Conference on Developments in Language Theory
• DoCEIS –Doctoral Conference on Computing, Electrical and Industrial Systems
• DSN – International Conference on Dependable Systems and Networks

E

• ECAI – European Conference on Artificial Intelligence
• ECCO – Conference of the European Chapter on Combinatorial Optimization
• ECIS – European Conference on Information Systems
• ECML PKDD – European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
• ECOOP – European Conference on Object-Oriented Programming
• ECSS – European Computer Science Summit
• EC-Web – International Conference on Electronic Commerce and Web Technologies
• EGOVIS/EDEM – Joint International Conference on Electronic Government and the Information Systems Perspective, and International Conference on Electronic Democracy
• EMAS - Workshop on Engineering Multi-Agent Systems
• EMCIS – European and Mediterranean Conference on Information Systems
• ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering
• ER - International Conference on Conceptual Modeling
• ESA – European Symposium on Algorithms
• ESOCC - European Conference on Service-Oriented and Cloud Computing
• ESOP – European Symposium on Programming
• ESORICS – European Symposium on Research in Computer Security
• ESWC – Extended (formerly European) Semantic Web Conference
• ETAPS – European Joint Conferences on Theory and Practice of Software
• EUROCRYPT – International Conference on the Theory and Applications of Cryptographic Techniques
• EuroForth – European Forth Conference
• Eurographics – Annual Conference of the European Association for Computer Graphics
• EWSN – European Conference on Wireless Sensor Networks

F

• FASE - International Conference on Fundamental Approaches to Software Engineering
• FAST – USENIX Conference on File and Storage Technologies
• FCRC – Federated Computing Research Conference
• FCT - International Symposium on Fundamentals of Computation Theory
• FLoC – Federated Logic Conference
• FOCS – IEEE Symposium on Foundations of Computer Science
• FORMATS - International Conference on Formal Modeling and Analysis of Timed Systems
• FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems
• FoSSaCS - International Conference on Foundations of Software Science and Computation Structures
• FSE – Fast Software Encryption Workshop
• FSEN - Fundamentals of Software Engineering
• FTP – International Workshop on First-Order Theorem Proving

G

• GD – International Symposium on Graph Drawing
• Globe – International Conference on Data Management in Cloud, Grid and P2P Systems
• GlobeCom – IEEE Global Communications Conference
• GraphiCon – International Conference on Computer Graphics and Vision

H

• HICSS – Hawaii International Conference on System Sciences
• HiPC – International Conference on High Performance Computing
• HoloMAS – International Conference on Industrial Applications of Holonic and Multi-Agent Systems
• HOPL – History of Programming Languages Conference
• Hot Interconnects – IEEE Symposium on High Performance Interconnects

I

• ICAA - International Conference on Applied Algorithms
• ICACCI – International Conference on Advances in Computing, Communications and Informatics
• ICADL - International Conference on Asia-Pacific Digital Libraries
• ICALP – International Colloquium on Automata, Languages and Programming
• ICASSP – International Conference on Acoustics, Speech, and Signal Processing
• ICCAD – International Conference on Computer-Aided Design
• ICC – IEEE International Conference on Communications
• ICCIT – International Conference on Computer and Information Technology
• ICCV – International Conference on Computer Vision
• ICDCS – International Conference on Distributed Computing Systems
• ICDCN - International Conference on Distributed Computing and Networking
• ICFCA - International Conference on Formal Concept Analysis
• ICFP – International Conference on Functional Programming
• ICICS - International Conference on Information and Communications Security
• ICIS – International Conference on Information Systems
• ICISS - International Conference on Information Systems Security
• ICITST - International Conference for Internet Technology and Secured Transactions
• ICL – International Conference on Interactive Computer Aided Learning
• ICLP – International Conference on Logic Programming
• ICML – International Conference on Machine Learning
• ICPADS - International Conference on Parallel and Distributed Systems
• ICSE – International Conference on Software Engineering
• ICSOC - International Conference on Service Oriented Computing
• ICSOFT - [1]
• ICSR – International Conference on Software Reuse
• ICTer – International Conference on Advances in ICT for Emerging Regions
• ICWE - International Conference on Web Engineering
• ICWS – International Conference on Web Services
• IJCAI – International Joint Conference on Artificial Intelligence
• IJCAR – International Joint Conference on Automated Reasoning
• IJCBS – International Joint Conferences on Bioinformatics, Systems Biology and Intelligent Computing
• IndoCrypt – International Conference on Cryptology in India
• InTrust - International Conference on Trusted Systems
• IPDPS – IEEE International Parallel and Distributed Processing Symposium
• IPSN – ACM/IEEE International Conference on Information Processing in Sensor Networks
• ISAAC - International Symposium on Algorithms and Computation
• ISCA – International Symposium on Computer Architecture
• ISCAS – IEEE International Symposium on Circuits and Systems
• ISMAR - IEEE International Symposium on Mixed and Augmented Reality
• ISWC – International Semantic Web Conference
• i-Society - International Conference on Information Society
• ISPD – International Symposium on Physical Design
• ISSCC – International Solid-State Circuits Conference
• ISWC – International Semantic Web Conference
• ISWC – International Symposium on Wearable Computers
• ITBAM – International Conference on Information Technology in Bio- and Medical Informatics
• ITS - Intelligent Tutoring Systems

K

• KDD – ACM SIGKDD Conference on Knowledge Discovery and Data Mining

L

• LATA - International Conference on Language and Automata Theory and Applications
• LICS – IEEE Symposium on Logic in Computer Science
• LION - Learning and Intelligent OptimizatioN Conference
• LOPSTR – International Symposium on Logic-based Program Synthesis and Transformation
• LREC – International Conference on Language Resources and Evaluation

M

• Middleware - ACM/IFIP/USENIX Middleware conference
• MIKE - International Conference on Mining Intelligence and Knowledge Exploration
• MIWAI - Multi-Disciplinary International Workshop on Artificial Intelligence
• MM – ACM International Conference on Multimedia
• MMM - International Conference on MultiMedia Modeling
• MobiCase - International Conference on Mobile Computing, Applications and Services
• MobiCom – ACM International Conference on Mobile Computing and Networking
• MobiHoc – ACM International Symposium on Mobile Ad Hoc Networking and Computing
• MobileHCI – Conference on Human-Computer Interaction with Mobile Devices and Services
• MobiWIS - International Conference on Mobile Web Information Systems

N

• NAACL – Annual Conference of the North American Chapter of the Association for Computational Linguistics
• NIPS – Conference on Neural Information Processing Systems
• NIME - New Interfaces for Musical Expression
• NordSec - Nordic Conference in Secure IT Systems [2]

O

• OOPSLA – Conference on Object-Oriented Programming, Systems, Languages, and Applications
• OSDI – USENIX Symposium on Operating Systems Design and Implementation

P

• PACIS – Pacific Asia Conference on Information Systems
• PACT - International Conference on Parallel Architectures and Compilation Techniques
• PACT - International Conference on Parallel Computing Technologies
• PADL - International Symposium on Practical Aspects of Declarative Languages
• PAKDD - Pacific Asia Conference on Knowledge Discovery and Data Mining
• PATMOS - International Workshop on Power And Timing Modeling, Optimization and Simulation
• PIMRC – International Symposium on Personal, Indoor and Mobile Radio Communications
• PKC – International Workshop on Practice and Theory in Public Key Cryptography
• PKDD – European Conference on Principles and Practice of Knowledge Discovery in Databases
• PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation
• PLoP – Pattern Languages of Programs
• PODC – ACM Symposium on Principles of Distributed Computing
• PODS – ACM Symposium on Principles of Database Systems
• POPL – Symposium on Principles of Programming Languages
• POST - Conference on Principles of Security and Trust
• PPoPP – ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
• PRO-VE – IFIP / SOCOLNET Working Conference on Virtual Enterprises
• PSB – Pacific Symposium on Biocomputing
• PSC – Prague Stringology Conference

Q

• QEST – International Conference on Quantitative Evaluation of Systems
• QI - International conference on Quantum Interaction

R

• RECOMB - Research in Computational Molecular Biology
• REV – International Conference on Remote Engineering and Virtual Instrumentation
• RSA – RSA Conference
• RTA – International Conference on Rewriting Techniques and Applications

S

• SAC – ACM SIGAPP Symposium on Applied Computing
• SAC – Selected Areas in Cryptography
• SC – International Symposium on Software Composition
• SEAMS – Software Engineering for Adaptive and Self-Managing Systems
• SEFM – International Conference on Software Engineering and Formal Methods
• SEMMCO - International Conference on Swarm, Evolutionary and Memetic Computing
• SenSys – ACM Conference on Embedded Networked Sensor Systems
• SIGCOMM – ACM SIGCOMM Conference
• SIGCSE – ACM Technical Symposium on Computer Science Education
• SIGDOC – ACM International Conference on Design of Communication
• SIGGRAPH – International Conference on Computer Graphics and Interactive Techniques
• SIGIR – Annual International ACM SIGIR Conference
• SIGMOD – ACM SIGMOD Conference
• SPAA – ACM Symposium on Parallelism in Algorithms and Architectures
• SRDS – IEEE International Symposium on Reliable Distributed Systems
• SSTD – International Symposium on Spatial and Temporal Databases
• STACS – Symposium on Theoretical Aspects of Computer Science
• STOC – ACM Symposium on Theory of Computing
• SWAT – Scandinavian Symposium and Workshops on Algorithm Theory

T

• TABLEAUX – International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
• TACAS - International Conference on Tools and Algorithms for the Construction and Analysis of Systems
• TAFA - International Workshop on Theory and Applications of Formal Argumentation
• TAMC - International Conference on Theory and Applications of Models of Computation
• TCC – Theory of Cryptography Conference
• TGC - International Symposium on Trustworthy Global Computing
• TPCTC - Technology Conference on Performance Evaluation and Benchmarking
• TPHOLs – Theorem Proving in Higher-Order Logics
• TrustBus – International Conference on Trust, Privacy, and Security in Digital Business
• TSD – Text, Speech and Dialogue
• TAAC – International Scientific Conference of Students and Young Scientists Theoretical and Applied Aspects of Cybernetics

U

• USENIX – USENIX Annual Technical Conference

V

• VLDB – International Conference on Very Large Data Bases
• VLSID – International Conference on VLSI Design
• VLSI-SoC - IFIP/IEEE International Conference on Very Large Scale Integration

W

• WABI – Workshop on Algorithms in Bioinformatics
• WADS – Algorithms and Data Structures Symposium
• WAE – Workshop on Algorithms Engineering
• WAOA – Workshop on Approximation and Online Algorithms
• WAW - Workshop on Algorithms and Models for the Web Graph
• WorldCIS - World Congress on Internet Security
• WDAG – Workshop on Distributed Algorithms on Graphs
• WG - International Workshop on Graph-Theoretic Concepts in Computer Science
• WikiSym – International Symposium on Wikis and Open Collaboration
• WINE - Conference on Web and Internet Economics
• WLAN – IEEE Workshops on Wireless LAN
• WMSCI – World Multiconference on Systemics, Cybernetics and Informatics
• WWW – World Wide Web Conference

Z

• ZUM – Z User Meeting

See also

• List of computer science conferences for more conferences organised by field.
• Conference acronym index for conferences and workshops published in LNCS, LNAI and LNBI proceedings series by Springer.