FCRC – Federated Computing Research Conference
Algorithms and theory
Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:
STOC – ACM Symposium on Theory of Computing
FOCS – IEEE Symposium on Foundations of Computer Science
ICALP – International Colloquium on Automata, Languages and Programming
STACS – Symposium on Theoretical Aspects of Computer Science
ISAAC – International Symposium on Algorithms and Computation
MFCS – International Symposium on Mathematical Foundations of Computer Science
FSTTCS – IARCS Conference on Foundations of Software Technology and Theoretical Computer Science
FCT – International Symposium on Fundamentals of Computation Theory
COCOON – International Computing and Combinatorics Conference
WoLLIC – Workshop on Logic, Language, Information and Computation
Petri Nets - International Conference on Applications and Theory of Petri Nets and Concurrency
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:
SODA – ACM–SIAM Symposium on Discrete Algorithms
ESA – European Symposium on Algorithms
WADS – Algorithms and Data Structures Symposium
SWAT – Scandinavian Symposium and Workshops on Algorithm Theory
WAOA – Workshop on Approximation and Online Algorithms
Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
SoCG – ACM Symposium on Computational Geometry
ACM GIS – ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
GD – International Symposium on Graph Drawing
IMR – International Meshing Roundtable
WAFR – Workshop on Algorithmic Foundations of Robotics
CCCG – Canadian Conference on Computational Geometry
EuroCG – European Workshop on Computational Geometry
Fall Workshop on Computational Geometry
LICS – ACM–IEEE Symposium on Logic in Computer Science
RTA – International Conference on Rewriting Techniques and Applications
CCC – Conference on Computational Complexity
CIAA – International Conference on Implementation and Application of Automata
DCFS – International Workshop on Descriptional Complexity of Formal Systems
DLT – International Conference on Developments in Language Theory
IPCO – Integer Programming and Combinatorial Optimization, organized by the Mathematical Optimization Society
ISSAC – International Symposium on Symbolic and Algebraic Computation
Conferences on programming languages, programming language theory and compilers:
POPL – ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PLDI – ACM SIGPLAN Conference on Programming Language Design and Implementation
ESOP – ETAPS European Symposium on Programming
OOPSLA – ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
ECOOP – AITO European Conference on Object-Oriented Programming
ICFP – ACM SIGPLAN International Conference on Functional Programming
ICLP – ALP International Conference on Logic Programming
ISMM – ACM SIGPLAN International Symposium on Memory Management
FoSSaCS – ETAPS Foundations of Software Science and Computation Structures
CP – International Conference on Principles and Practice of Constraint Programming
CC – ETAPS International Conference on Compiler Construction
FLOPS – International Symposium on Functional and Logic Programming
HOPL – ACM SIGPLAN History of Programming Languages Conference
CGO – ACM SIGPLAN International Symposium on Code Generation and Optimization
Modularity – International Conference on Modularity
Conferences on software engineering:
ICSE – International Conference on Software Engineering
FSE – ACM SIGSOFT Symposium on the Foundations of Software Engineering
ICSM – International Conference on Software Maintenance
ASE – IEEE/ACM International Conference on Automated Software Engineering
MODELS – IEEE/ACM International Conference on Model Driven Engineering Languages and Systems
RE – IEEE International Requirements Engineering Conference
ICSR – International Conference on Software Reuse
TASE – International Symposium on Theoretical Aspects of Software Engineering
ISSTA – International Symposium on Software Testing and Analysis
Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:
CAV – Computer Aided Verification
FM – International Symposium on Formal Methods
FORTE – IFIP International Conference on Formal Techniques for Networked and Distributed Systems
ICFEM – International Conference on Formal Engineering Methods
SAS – Static Analysis Symposium
Concurrent, distributed and parallel computing
Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:
PODC - ACM Symposium on Principles of Distributed Computing
ICDCS - IEEE International Conference on Distributed Computing Systems
SPAA - ACM Symposium on Parallelism in Algorithms and Architectures
PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
DSN - International Conference on Dependable Systems and Networks
ICAC - International Conference on Autonomic Computing
IPDPS - IEEE International Parallel and Distributed Processing Symposium
DISC - International Symposium on Distributed Computing
SRDS - IEEE International Symposium on Reliable Distributed Systems
PACT - International Conference on Parallel Architectures and Compilation Techniques
ICPP - International Conference on Parallel Processing
Euro-Par Conference
SIROCCO - International Colloquium on Structural Information and Communication Complexity
OPODIS - International Conference on Principles of Distributed Systems
IDCS - International Conference onInternet and Distributed Computing Systems
ICPADS - IEEE International Conference on Parallel and Distributed Systems
Coordination - International Conference on Coordination Models and Languages
ICDCN - International Conference on Distributed Computing and Networking
DEBS - ACM International Conference on Distributed Event-Based Systems
Conferences on high-performance computing, cluster computing, and grid computing:
SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis
ICS - International Conference on Supercomputing
HPDC - International Symposium on High Performance Distributed Computing
CCGrid - IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing
PPSC - SIAM Conference on Parallel Processing for Scientific Computing
CLUSTER - IEEE International Conference on Cluster Computing
HiPC - International Conference on High Performance Computing
Conferences on operating systems, storage systems and middleware:
SOSP - ACM Symposium on Operating Systems Principles
OSDI - USENIX Symposium on Operating Systems Design and Implementation
EuroSys - European Conference on Computer Systems
ATC - USENIX Annual Technical Conference
FAST - USENIX Conference on File and Storage Technologies
Middleware - ACM/IFIP/USENIX International Middleware Conference
HotOS - Workshop on Hot Topics in Operating Systems
NOSSDAV - International Workshop on Network and Operating Systems Support for Digital Audio and Video
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
HPCA - International Symposium on High-Performance Computer Architecture
Conferences on computer hardware:
ISPD - International Symposium on Physical Design
CHES - Cryptographic Hardware and Embedded Systems
ICCD - International Conference on Computer Design
ISLPED - International Symposium on Low Power Electronics and Design
FCCM - Field-Programmable Custom Computing Machines
FPGA - Symposium on Field Programmable Gate Arrays
ISSS - International Symposium on Systems Synthesis
CODES+ISSS - International Conference on Hardware Software Codesign
ARVLSI - Advanced Research in VLSI
ASAP - Application-Specific Systems, Architectures, and Processors
ISCAS - IEEE International Symposium on Circuits and Systems
Real-time and embedded systems
Conferences on real-time systems and embedded systems:
RTSS - IEEE Real-Time Systems Symposium
RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium
LCTES - ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
CASES - International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
EMSOFT - International Conference on Embedded Software
ECRTS - Euromicro Conference on Real-Time Systems
SCOPES - International Workshop on Software and Compilers for Embedded Systems
Conferences on computer-aided design and electronic design automation:
DAC - Design Automation Conference
ICCAD - International Conference on Computer-Aided Design
DATE - Design, Automation, and Test in Europe
ASP-DAC - Asia and South Pacific Design Automation Conference
ISPD - International Symposium on Physical Design
Conferences on computer networking:
SIGCOMM - ACM SIGCOMM Conference
NSDI - USENIX Symposium on Networked Systems Design and Implementation
SIGMETRICS - ACM SIGMETRICS Conference
CoNEXT - ACM Conference on emerging Networking EXperiments and Technologies
INFOCOM - IEEE Conference on Computer Communications
IMC - USENIX/ACM Internet Measurement Conference
ICNP - IEEE International Conference on Network Protocols
IPTPS - International Workshop on Peer-To-Peer Systems
ICSOC - International Conference on Service Oriented Computing
IWQoS - IEEE International Workshop on Quality of Service
MASCOTS - IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
PAM - Passive and Active Measurement Conference
IM - IFIP/IEEE International Symposium on Integrated Network Management
Networking - IFIP International Conference on Networking
LCN - IEEE Conference on Local Computer Networks
ICC - IEEE International Conference on Communications
ISCC- IEEE Symposium on Computers and Communications
GlobeCom - IEEE Global Communications Conference
ICCCN - IEEE Conference on Computer Communications and Networks
WINE - The Workshop on Internet & Network Economics
Wireless networks and mobile computing
Wireless networks and mobile computing, including ubiquitous and pervasive computing, wireless ad hoc networks and wireless sensor networks:
MobiCom - ACM International Conference on Mobile Systems, Application and Services
MobiSys - ACM International Conference on Mobile Computing and Systems
SenSys - ACM Conference on Embedded Networked Sensor Systems
MobiHoc - ACM International Symposium on Mobile Ad Hoc Networking and Computing
IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks
Ubicomp - International Conference on Ubiquitous Computing
PerCom - IEEE International Conference on Pervasive Computing and Communications
HotMobile - International Workshop on Mobile Computing Systems and Applications
SECON - Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks
EWSN - European Conference on Wireless Sensor Networks
ISWC - International Symposium on Wearable Computers
MobiQuitous - International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
WoWMoM - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks
MASS - IEEE International Conference on Mobile Ad hoc and Sensor Systems
DCOSS - IEEE International Conference on Distributed Computing in Sensor Systems
MSWiM - ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
WiOpt - International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
IEEE RFID - IEEE IEEE International Conference on RFID
Security and privacy
Conferences on computer security and privacy:
Oakland - IEEE Symposium on Security and Privacy
USENIX Security Symposium
CCS - ACM Conference on Computer and Communications Security
NDSS - Network and Distributed System Security Symposium
DSN - International Conference on Dependable Systems and Networks
ACSAC - Annual Computer Security Applications Conference
CSF - Computer Security Foundations Symposium
ESORICS - European Symposium on Research in Computer Security
RAID - International Symposium on Recent Advances in Intrusion Detection
ASIACCS - ACM Symposium on Information, Computer and Communications Security
Cryptography conferences:
CRYPTO - International Cryptology Conference
EUROCRYPT - International Conference on the Theory and Applications of Cryptographic Techniques
ACNS - Applied Cryptography and Network Security ("http://icsd.i2r.a-star.edu.sg/staff/jianying/acns_home/")
TCC - Theory of Cryptography Conference
PKC - International Workshop on Practice and Theory in Public Key Cryptography
ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security
FSE - Fast Software Encryption Workshop
RSA - RSA Conference
ANTS - Algorithmic Number Theory Symposium
CHES - Workshop on Cryptographic Hardware and Embedded Systems
SECRYPT - International Conference on Security and Cryptography
INDOCRYPT - International Conference on Cryptology in India
Conferences on databases, information systems, information retrieval, data mining and the world wide web:
SIGMOD - ACM SIGMOD Conference
VLDB - International Conference on Very Large Data Bases
PODS - ACM Symposium on Principles of Database Systems
SIGIR - Annual International ACM SIGIR Conference
WWW - World Wide Web Conference
KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining
ICDE - International Conference on Data Engineering
ISWC - International Semantic Web Conference
CIDR - Conference on Innovative Data Systems Research
ICDM - IEEE International Conference on Data Mining
ICDT - International Conference on Database Theory
EDBT - International Conference on Extending Database Technology
SDM - SIAM International Conference on Data Mining
CIKM - ACM Conference on Information and Knowledge Management
JCDL - ACM/IEEE Joint Conference on Digital Libraries
ECIR - European Conference on Information Retrieval
ER - International Conference on Conceptual Modeling
ICIS - International Conference on Information Systems
SSTD - Symposium on Spatial and Temporal Databases
WebDB - International Workshop on the Web and Databases
SSDBM - International Conference on Scientific and Statistical Database Management
CAiSE - Conference on Advanced Information Systems Engineering
ECIS - European Conference on Information Systems
PAKDD – The annual Pacific-Asia Conference on Knowledge Discovery and Data Mining
Conferences on artificial intelligence and machine learning:
AAAI - AAAI Conference on Artificial Intelligence
ICML - International Conference on Machine Learning
NIPS - Conference on Neural Information Processing Systems
IJCAI - International Joint Conference on Artificial Intelligence
ISWC - International Semantic Web Conference
KR - International Conference on the Principles of Knowledge Representation and Reasoning
UAI - Uncertainty in Artificial Intelligence
AAMAS - International Conference on Autonomous Agents and Multiagent Systems
COLT - Conference on Learning Theory
ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases
ICAPS - International Conference on Automated Planning and Scheduling
ICANN - International Conference on Artificial Neural Networks
AISB - Annual Convention of The Society for the Study of Artificial Intelligence and Simulation of Behaviour
ECAI - European Conference on Artificial Intelligence
IWANN - International Work-Conference on Artificial Neural Networks
RuleML - RuleML Symposium
FOGA - Foundations of Genetic Algorithms
Conferences on Evolutionary computation.
CEC - IEEE Congress on Evolutionary Computation
GECCO - Genetic and Evolutionary Computation Conference
Conferences on automated reasoning:
IJCAR - International Joint Conference on Automated Reasoning
CADE - Conference on Automated Deduction
TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning
RuleML - RuleML Symposium
WoLLIC - Workshop on Logic, Language, Information and Computation
Conferences on computer vision (including also image analysis) and pattern recognition:
ICCV - International Conference on Computer Vision
CVPR - Conference on Computer Vision and Pattern Recognition
ECCV - European Conference on Computer Vision
BMVC - British Machine Vision Conference
ACCV - Asian Conference on Computer Vision
ICPR - International Conference on Pattern Recognition
CAIP - Computer Analysis of Images and Patterns
ISBI - International Symposium on Biomedical Imaging
SCIA - Scandinavian Conference on Image Analysis
GCPR - German Conference on Pattern Recognition("https://gcpr2017.dmi.unibas.ch")
PSIVT - Pacific Rim Symposium on Image and Video Technology
SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation
WSCG - Conferences on Computer Graphics, Visualization and Computer Vision since 1992
Conferences on computational linguistics and natural language processing:
ACL - Annual Meeting of the Association for Computational Linguistics
EACL - Annual Conference of the European Chapter of the Association for Computational Linguistics
COLING - International Conference on 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
IJCNLP - International Joint Conference on Natural Language Processing
EMNLP - Conference on Empirical Methods in Natural Language Processing
NLDB - International Conference on Applications of Natural Language to Information Systems
TSD - Text, Speech and Dialogue
Conferences on computer graphics, image processing, and multimedia:
SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques
I3D - ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games
MM - ACM International Conference on Multimedia
DCC - Data Compression Conference
ICME - IEEE International Conference on Multimedia and Expo
Vis - IEEE Visualization Conference
Eurographics - Annual Conference of the European Association for Computer Graphics
ACM SIGGRAPH/Eurographics Conference on Graphics Hardware
InfoVis - IEEE Information Visualization Conference
SCA - ACM SIGGRAPH/Eurographics Symposium on Computer Animation
ICIP - IEEE International Conference on Image Processing
GI - Graphics Interface
WSCG - Conferences on Computer Graphics, Visualization and Computer Vision since 1992
Conferences on human–computer interaction and user interfaces:
CHI - ACM Conference on Human Factors in Computing Systems
CSCW - Conference on Computer Supported Cooperative Work
UIST - ACM Symposium on User Interface Software and Technology
IUI - International Conference on Intelligent User Interfaces
GI - Graphics Interface
DIS - Designing Interactive Systems
INTERACT - IFIP Conference on Human-Computer Interaction
MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
SIGDOC - ACM International Conference on Design of Communication
VL/HCC - IEEE Symposium on Visual Languages and Human-Centric Computing
ASSETS - International ACM SIGACCESS Conference on Computers and Accessibility
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
Conferences on computer science education and electronic learning:
SIGCSE - ACM Technical Symposium on Computer Science Education
ITiCSE - ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education
ITS - International Conference on Intelligent Tutoring Systems
ICALT - International Conference on Advanced Learning Technologies
AIED - International Conference on Artificial Intelligence in Education
CSCL - International Conference on Computer Supported Collaborative Learning
FIE - IEEE International Conference on Frontiers in Education
