List of computer science conference acronyms
Encyclopedia
This is a list of academic conferences in computer science
, ordered by their acronyms. This list should contain all conferences with Wikipedia articles (including discontinued conferences and one-off events), and nothing else.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, ordered by their acronyms. This list should contain all conferences with Wikipedia articles (including discontinued conferences and one-off events), and nothing else.
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
- AI@50 – Dartmouth Artificial Intelligence Conference: The Next Fifty Years
- ALGO – ALGO Conference
- AMCIS – Americas Conference on Information SystemsAmericas Conference on Information SystemsThe Americas Conference on Information Systems is an annual conference for Information Systems and Information Technology academics and professionals sponsored by the Association for Information Systems '...
- ANTS – Algorithmic Number Theory Symposium
- 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 ConferenceAsia and South Pacific Design Automation ConferenceThe Asia and South Pacific Design Automation Conference, or ASP-DAC is a yearly conference on the topic of electronic design automation. It is typically held in late January in the Far East, as the name implies...
- ASE - IEEE/ACM International Conference on Automated Software EngineeringInternational Conference on Automated Software EngineeringThe International Conference on Automated Software Engineering , is a large annual software engineering conferences. The first conference in the series was held in 1986...
- ASWEC – Australian Software Engineering ConferenceAustralian Software Engineering ConferenceThe Australian Software Engineering Conference is Australasia's leading forum for exchanging project experiences and new research results in software engineering. Established in 1986, ASWEC attracts contributions covering the whole spectrum of software engineering research and practice...
- ATMOS – Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems
C
- CADE – Conference on Automated DeductionConference on Automated DeductionThe Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the USA. However, conferences have been held all...
- CAV – Computer Aided VerificationComputer Aided VerificationComputer Aided Verification is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems. The conference consists of peer-reviewed research papers and system descriptions. The proceedings are published by Springer in the LNCS series...
- 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
- CICLing – International Conference on Intelligent Text Processing and Computational LinguisticsInternational Conference on Intelligent Text Processing and Computational LinguisticsCICLing is the name of an annual conference on natural language processing and computational linguistics . The first CICLing conference was held in 2000. The conference is attended by about hundred of NLP and CL researchers and students every year...
- CIDR – Conference on Innovative Data Systems ResearchConference on Innovative Data Systems ResearchThe Conference on Innovative Data Systems Research is a biennial computer science conference focused on research into new techniques for data management...
- CIKM - Conference on Information and Knowledge ManagementConference on Information and Knowledge ManagementThe ACM Conference on Information and Knowledge Management is an annual computer science research conference dedicated to information and knowledge management. Since the first event in 1992, the conference has evolved into one of the major forums for research on database management, information...
- CRYPTO – International Cryptology Conference
- CUSEC – Canadian University Software Engineering ConferenceCanadian University Software Engineering ConferenceThe Canadian University Software Engineering Conference , or CUSEC, is a conference held yearly around mid-January since 2002. The conference promotes software engineering around a unique theme each year...
- CVPR – Conference on Computer Vision and Pattern RecognitionConference on Computer Vision and Pattern RecognitionThe Conference on Computer Vision and Pattern Recognition is the IEEE annual conference on computer vision and pattern recognition. It has an 'A' rating from the Australian Ranking of ICT Conferences....
D
- DAC – Design Automation ConferenceDesign Automation ConferenceThe Design Automation Conference, or DAC, is a combination of a technical conference and a trade show, both specializing in electronic design automation....
- DATE – Design, Automation, and Test in Europe
- DCFS – International Workshop on Descriptional Complexity of Formal Systems
- DISC – International Symposium on Distributed ComputingInternational Symposium on Distributed ComputingThe International Symposium on Distributed Computing is an annual academic conference for refereed presentations, whose focus is the theory, design, analysis, implementation, and application of distributed systems and networks. The Symposium is organized in association with the European...
- DLT – International Conference on Developments in Language TheoryInternational Conference on Developments in Language TheoryDLT, the International Conference on Developments in Language Theory is an academic conference in the fieldof computer scienceheld annually under the auspices of the European Association for Theoretical Computer Science...
- DSN – International Conference on Dependable Systems and Networks
E
- ECAI – European Conference on Artificial IntelligenceEuropean Conference on Artificial IntelligenceThe biennial European Conference on Artificial Intelligence is the leading conference in the field of Artificial Intelligence in Europe, and is commonly listed together with IJCAI and AAAI as one of the three major general AI conferences worldwide...
- ECIS – European Conference on Information SystemsEuropean Conference on Information SystemsThe European Conference on Information Systems is an annual conference for Information Systems and Information Technology academics and professionals and is affiliated with the Association for 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
- EMCIS – European and Mediterranean Conference on Information SystemsEuropean and Mediterranean Conference on Information SystemsThe European and Mediterranean Conference on Information Systems is an annual conference for information systems and information technology academics and professionals.-EMCIS Venues:...
- ESA – European Symposium on AlgorithmsEuropean Symposium on AlgorithmsThe European Symposium on Algorithms is an international conference covering the field of algorithms. It has been held annually since 1993, typically in a different European location in early Autumn...
- ESWC - 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
- FAST – USENIX Conference on File and Storage Technologies
- FCRC – Federated Computing Research ConferenceFederated Computing Research ConferenceThe Federated Computing Research Conference, FCRC, is an event that brings together several academic conferences, workshops, and plenary talks in the field of computer science...
- FLoC – Federated Logic ConferenceFederated Logic ConferenceThe Federated Logic Conference is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields...
- FOCS – IEEE Symposium on Foundations of Computer ScienceSymposium on Foundations of Computer ScienceFOCS, the Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science...
- FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed SystemsInternational Conference on Formal Techniques for Networked and Distributed SystemsThe IFIP International Conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE...
- FSE – Fast Software Encryption Workshop
- FTP – International Workshop on First-Order Theorem ProvingInternational Workshop on First-Order Theorem ProvingThe International Workshop on First-Order Theorem Proving is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops...
G
- GD – International Symposium on Graph DrawingInternational Symposium on Graph DrawingThe International Symposium on Graph Drawing is an annual academic conference in which researchers present peer reviewed papers on graph drawing, information visualization of network information, geometric graph theory, and related topics.-Significance:...
- GlobeCom – IEEE Global Communications ConferenceGlobal Communications ConferenceThe Global Communications Conference is an annual international academic conference organised by the Institute of Electrical and Electronics Engineers' Communications Society. The first GLOBECOM was organised by the Communications Society's predecessor in 1957, with the full name of "National...
- GraphiCon – International Conference on Computer Graphics and Vision
H
- HICSS – Hawaii International Conference on System SciencesHawaii International Conference on System SciencesThe Hawaii International Conference on System Sciences is an annual conference for Information Systems and Information Technology academics and professionals sponsored by the University of Hawaii at Manoa. Along with ICIS, HICSS is widely considered to be one of the most prestigious international...
- HiPC – International Conference on High Performance ComputingInternational Conference on High Performance ComputingThe International Conference on High Performance Computing is an international meeting on high performance computing. It serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the high performance computing area...
- HOPL – History of Programming Languages Conference
- Hot Interconnects – IEEE Symposium on High Performance Interconnects
I
- ICALP – International Colloquium on Automata, Languages and ProgrammingInternational Colloquium on Automata, Languages and ProgrammingICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe...
- ICASSP – International Conference on Acoustics, Speech, and Signal ProcessingInternational Conference on Acoustics, Speech, and Signal ProcessingICASSP, the International Conference on Acoustics, Speech, and Signal Processing, is an annual research conference organised by the IEEE....
- ICCAD – International Conference on Computer-Aided DesignInternational Conference on Computer-Aided DesignThe International Conference on Computer-Aided Design, or ICCAD, is a yearly conference about electronic design automation. It is normally held in early November in San Jose, California...
- ICC – IEEE International Conference on CommunicationsInternational Conference on CommunicationsThe International Conference on Communications is an annual international academic conference organised by the Institute of Electrical and Electronics Engineers' Communications Society...
- ICCIT – International Conference on Computer and Information TechnologyInternational Conference on Computer and Information TechnologyInternational Conference on Computer and Information Technology or ICCIT is a series of Computer Science and Information Technology based conferences that is hosted in Bangladesh since 1997 by a different university each year...
- ICCV – International Conference on Computer VisionInternational Conference on Computer VisionICCV, the International Conference on Computer Vision, is a bi-annual research conference organised by the IEEE. It is considered the top level conference in computer vision, with a 'A+' rating from the Australian Ranking of ICT Conferences...
- ICDCS – International Conference on Distributed Computing SystemsInternational Conference on Distributed Computing SystemsThe International Conference on Distributed Computing Systems is the oldest conference in the field of distributed computing systems in the world. It was launched by the IEEE Computer Society Technical Committee on Distributed Processing in October 1979, and is sponsored by such committee...
- ICFP – International Conference on Functional ProgrammingInternational Conference on Functional ProgrammingThe International Conference on Functional Programming is an annual academic conference in the field of computer science sponsored by the ACM SIGPLAN, in association with IFIP Working Group 2.8 ....
- ICIS – International Conference on Information SystemsInternational Conference on Information SystemsInternational Conference on Information Systems is an annual international conference for academics and research-oriented practitioners in the area of Information Systems...
- ICITST - International Conference for Internet Technology and Secured Transactions
- ICL – International Conference on Interactive Computer Aided Learning
- ICLP – International Conference on Logic ProgrammingInternational Conference on Logic ProgrammingThe International Conference on Logic Programming is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming . The conference consists of peer-reviewed papers with the proceedings published by Springer's LNCS series.The first ICLP...
- ICML – International Conference on Machine Learning
- ICPADS - International Conference on Parallel and Distributed SystemsInternational Conference on Parallel and Distributed SystemsThe International Conference on Parallel and Distributed Systems is an academic conference sponsored by the IEEE Computer Society that brings together researchers and practitioners from academia and industry around the world to advance the theories, technologies, and applications of parallel and...
- ICSE – International Conference on Software EngineeringInternational Conference on Software EngineeringThe International Conference on Software Engineering , is one of the largest annual software engineering conferences. The first ICSE conference was in 1975 in Washington DC.-List of Conferences:Past and future ICSE conferences include:...
- ICSR – International Conference on Software ReuseInternational Conference on Software ReuseThe International Conference on Software Reuse , is the primary scientific conference on software reuse, domain analysis, and domain engineering....
- ICWS – International Conference on Web ServicesInternational Conference on Web ServicesThe International Conference on Web Services or ICWS is an international forum for researchers and industry practitioners focused on Web services. ICWS is sponsored by the IEEE Computer Society Technical Committee on Services Computing....
- IJCAI – International Joint Conference on Artificial IntelligenceInternational Joint Conference on Artificial IntelligenceThe International Joint Conference on Artificial Intelligence is a meeting of researchers from the different areas of artificial intelligence . It is organized by the IJCAI, Inc., and has been held every other year since 1969. Originally, the other years saw the meetings of the ECAI, AAAI, and a...
- IJCAR – International Joint Conference on Automated ReasoningInternational Joint Conference on Automated ReasoningInternational Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
- IJCBS – International Joint Conferences on Bioinformatics, Systems Biology and Intelligent Computing
- IndoCrypt – International Conference on Cryptology in India
- IPDPS – IEEE International Parallel and Distributed Processing Symposium
- IPSN – ACM/IEEE International Conference on Information Processing in Sensor Networks
- ISCA – International Symposium on Computer ArchitectureInternational Symposium on Computer ArchitectureThe International Symposium on Computer Architecture is generally viewed as the top-tier academic conference on computer architecture.-External references:* in the ACM digital library.* in DBLP.* ....
- ISCAS – IEEE International Symposium on Circuits and SystemsInternational Symposium on Circuits and SystemsInitiated in 1968, by a small group of distinguished circuit theorists, IEEE ISCAS has grown into a premier annual conference reflecting the diversity, richness, and significance of the circuits and systems fields, as well as the growing technological applications and knowledge economy that is...
- ISWC – International Semantic Web ConferenceInternational Semantic Web ConferenceThe International Semantic Web Conference is a series of academic conferences in which the latest research, results, and technical innovations on all aspects of the Semantic Web are presented. Its proceedings are published in the Lecture Notes in Computer Science by Springer-Verlag.-Overview:...
- i-Society - International Conference on Information Society
- ISPD – International Symposium on Physical DesignInternational Symposium on Physical DesignThe International Symposium on Physical Design, or ISPD is a yearly conference on the topic of electronic design automation, concentrating on algorithms for the physical design of integrated circuits. It is typically held in April of each year, in a city in the western United States...
- ISSCC – International Solid-State Circuits ConferenceInternational Solid-State Circuits ConferenceInternational Solid-State Circuits Conference is a global forum for presentation of advances in solid-state circuits and Systems-on-a-Chip. The Conference offers a unique opportunity for engineers working at the cutting edge of IC design to maintain technical currency, and to network with leading...
- ISWC – International Symposium on Wearable ComputersInternational Symposium on Wearable ComputersThe International Symposium on Wearable Computers or ISWC is one of the most prominent academic conferences on wearable computing and ubiquitous computing....
L
- LICS – IEEE Symposium on Logic in Computer Science
- LOPSTR – International Symposium on Logic-based Program Synthesis and TransformationInternational Symposium on Logic-based Program Synthesis and TransformationThe International Symposium on Logic-based Program Synthesis and Transformation, commonly known as LOPSTR, was founded by Kung-Kiu Lau in 1991. It has taken place annually since....
- LREC – International Conference on Language Resources and Evaluation
M
- MM – ACM International Conference on Multimedia
- 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
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 ExpressionNew Interfaces for Musical ExpressionNew Interfaces for Musical Expression, also known as NIME, is an international conference dedicated to scientific research on the development of new technologies for musical expression and artistic performance...
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 SystemsPacific Asia Conference on Information SystemsThe Pacific Asia Conference on Information Systems is an annual conference for Information Systems and Information Technology academics and professionals and is affiliated with the Association for Information Systems...
- PACT - International Conference on Parallel Architectures and Compilation Techniques
- PATMOS - International Workshop on Power And Timing Modeling, Optimization and Simulation
- PIMRC – International Symposium on Personal, Indoor and Mobile Radio CommunicationsInternational Symposium on Personal, Indoor and Mobile Radio CommunicationsThe is an annual academic conference in the wireless research arena organised by the Institute of Electrical and Electronics Engineers' Communications Society...
- 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 ComputingSymposium on Principles of Distributed ComputingThe Symposium on Principles of Distributed Computing is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery ....
- PODS – ACM Symposium on Principles of Database SystemsSymposium on Principles of Database SystemsThe ACM Symposium on Principles of Database Systems is the premier international research conference on database theory, and has been held yearly since 1982. It is sponsored by three Association for Computing Machinery SIGs, SIGART, SIGACT, and SIGMOD...
- POPL – Symposium on Principles of Programming Languages
- PPoPP – ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingSymposium on Principles and Practice of Parallel ProgrammingPPoPP, the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, is an academic conference in the field of parallel programming...
- PRO-VE – IFIP / SOCOLNET Working Conference on Virtual Enterprises
- PSB – Pacific Symposium on BiocomputingPacific Symposium on BiocomputingThe Pacific Symposium on Biocomputing is an international, multidisciplinary scientific meeting held annually since 1996. The purpose of this conference is for the presentation and discussion of current research in the theory and application of computational methods in problems of biological...
R
- REV – International Conference on Remote Engineering and Virtual Instrumentation
- RSA – RSA ConferenceRSA ConferenceThe RSA Conference is a cryptography and information security-related conference held annually in the San Francisco Bay Area.The RSA Conference started in 1991 as a forum for cryptographers to gather and share the latest knowledge and advancements in the area of Internet security...
- RTA – International Conference on Rewriting Techniques and Applications
S
- SAC – ACM SIGAPP Symposium on Applied ComputingSymposium on Applied ComputingThe ACM Symposium on Applied Computing is an annual conference sponsored by the ACM Special Interest Group on Applied Computing.The first Symposium on Applied Computing was held in 1985. Since the 1990s, the acceptance ratio for paper submissions has dropped from 54%-67% to below 30% in the 2008...
- SAC – Selected Areas in CryptographySelected Areas in CryptographySelected Areas in Cryptography is a series of international cryptography workshops held annually in Canada, every August since 1994. Through 1999, it was held at either Queen's University or Carleton University; the locations have varied more in recent years...
- SC – International Symposium on Software CompositionInternational Symposium on Software Composition-About the International Symposium on Software Composition:The International Symposium on Software Composition is the premier symposium that brings together the software engineering research and industrial communities in order to develop a better understanding of how software components may be used...
- SEAMS – Software Engineering for Adaptive and Self-Managing SystemsSoftware Engineering for Adaptive and Self-Managing SystemsThe Workshop on Software Engineering for Adaptive and Self-Managing Systems is a leading international forum for exchanging new research results and experiences in the areas of autonomic, self-managing, self-healing, self-optimizing, self-configuring, and self-adaptive systems...
- SEFM – IEEE 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 ArchitecturesSymposium on Parallelism in Algorithms and ArchitecturesSPAA, the ACM Symposium on Parallelism in Algorithms and Architectures, is an academic conference in the fields of parallel computing and distributed computing...
- SRDS – IEEE International Symposium on Reliable Distributed SystemsInternational Symposium on Reliable Distributed SystemsThe International Symposium on Reliable Distributed Systems is an academic conference covering distributed systems design and development, particularly with properties such as reliability, availability, safety, security and real time...
- STACS – Symposium on Theoretical Aspects of Computer Science
- STOC – ACM Symposium on Theory of ComputingSymposium on Theory of ComputingSTOC, the Annual ACM Symposium on Theory of Computing is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT.As...
- SWAT – Scandinavian Symposium and Workshops on Algorithm Theory
T
- TABLEAUX – International Conference on Automated Reasoning with Analytic Tableaux and Related MethodsInternational Conference on Automated Reasoning with Analytic Tableaux and Related MethodsThe International Conference on Automated Reasoning with Analytic Tableaux and Related Methods is an annual international academic conference that deals with all aspects of automated reasoning with analytic tableaux. Periodically, it joins with CADE and TPHOLs into the International Joint...
- TCC – Theory of Cryptography ConferenceTheory of Cryptography ConferenceThe Theory of Cryptography Conference, often abbreviated TCC, is an annual conference for theoretical cryptography research. It was first held in 2004 at MIT, and was also held at MIT in 2005, both times in February. TCC became an IACR-sponsored workshop in 2006....
- TPHOLs – Theorem Proving in Higher-Order LogicsTheorem Proving in Higher-Order LogicsTheorem Proving in Higher-Order Logics is an annual international academic conference on the topic of automated reasoning in higher-order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in the HOL system and had...
V
- VLDB – International Conference on Very Large Data Bases
- VLSID – International Conference on VLSI DesignInternational Conference on VLSI DesignThe International Conference on VLSI Design was started in 1985, as a small workshop at IIT Madras, under the visionary guidance of Dr. Vishwani Agrawal of Auburn University, and Prof. H.N. Mahabala of IIT Madras. From this modest beginning, it has grown into a international conference on VLSI...
W
- WABI – Workshop on Algorithms in Bioinformatics
- WADS – Algorithms and Data Structures SymposiumAlgorithms and Data Structures SymposiumWADS, the Algorithms and Data Structures Symposium, is an international academic conference in the field of computer science, focusing on algorithms and data structures. WADS is held every second year, usually but not always in Canada. It is held in alternation with its sister conference, the...
- WAE – Workshop on Algorithms Engineering
- WAOA – Workshop on Approximation and Online Algorithms
- WorldCIS - World Congress on Internet Security
- WDAG – Workshop on Distributed Algorithms on Graphs
- WikiSym – International Symposium on Wikis and Open Collaboration
- WLAN – IEEE Workshops on Wireless LANIEEE Workshops on Wireless LANIn May 1991, the first Institute of Electrical and Electronic Engineers workshop on Wireless LANs was held at the Worcester Polytechnic Institute, Worcester, Massachusetts. The workshop was scheduled in coordination with a meeting of the IEEE 802.11 Wireless Access Methods and Physical Layer...
- WMSCI – World Multiconference on Systemics, Cybernetics and Informatics
- WWW – World Wide Web ConferenceWorld Wide Web ConferenceThe International World Wide Web Conference is a yearly international academic conference on the topic of the future direction of the World Wide Web...