1 | Intelligent Agents | AAMAS | Symposium on Adaptive Agents and Multi-Agent Systems, Springer |
2 | Database | ACIIDS | Intelligent Information and Database Systems, IEEE |
3 | Artificial Intelligence | AI | Australian Conference on Artificial Intelligence, Springer |
4 | Artificial Intelligence | AIS | Arificial Intelligence and Simulation, Springer |
5 | Software Engineering | AOSD | Aspect-oriented software development, ACM |
6 | Hardware | ARC | Reconfigurable Computing: Architectures, Springer |
7 | Software Engineering | ARCS | Rechnerstrukturen und Betriebsprogrammierung, Springer |
8 | Hardware | ASPDAC | Asia and South Pacific Design Automation Conference, ACM |
9 | Programming Languages | ASPLOS | Architectural Support for Programming Languages and Operating Systems, ACM |
10 | Applied Computing | BIRTHDAY | Computation Theory and Logic, Springer |
11 | Theoretical Computer Science | CAD | Methoden der Informatik f?r Rechnerunterst?tztes Entwerfen und Konstruieren, Springer |
12 | System Software | CC | Critical Computing, Springer |
13 | Natural Language Processing | CICLING | International Conference on Computational Linguistics and Intelligent Text Processing, Springer |
14 | Security Privacy | CODASPY | |
15 | Applied Computing | COMGEO | International Conference and Exhibition on Computing for Geospatial Research & Application, ACM |
16 | Education | CORR | Workshop on Service Oriented Computing, Springer |
17 | Artificial Intelligence | CP | Principles and Practice of Constraint Programming, Springer |
18 | Social Sciences | CSCW | Computer Supported Cooperative Work, ACM |
19 | Theoretical Computer Science | CSE | IEEE International Conference on Computational Science and Engineering, IEEE |
20 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
21 | Cryptology | CTRSA | Topics in Cryptology, Springer |
22 | Computer Graphics | DCC | Data Compression Conference, IEEE |
23 | ECommerce | EC | Electronic Commerce, |
24 | Database | ESE | International Workshop on Expert Systems in Engineering, |
25 | Programming Languages | ESOP | European Symposium on Programming, Springer |
26 | Artificial Intelligence | EVOW | Process in Evolutionary Computation Workshop, Springer |
27 | Computer Networks | EWSN | European Workshop on Wireless Sensor Networks, Springer |
28 | Software Engineering | FASE | Internationsl Conference on Fundamental Approaches to Software Engineering, Springer |
29 | Software Engineering | FOSSACS | International Conference on Foundations of Software Science and Computation Structure, Springer |
30 | FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
31 | Applied Computing | GC | International Workshop on Global Computing, Springer |
32 | Artificial Intelligence | HAIS | International Workshop on Hybrid Artificial Intelligence Systems, Springer |
33 | Biometrics | HICSS | Hawaii International Conference on System Sciences, IEEE |
34 | Distributed And Parallel Computing | HPCA | High Performance Computing and Applications, IEEE |
35 | Human Computer Interaction | HRI | ACM/IEEE International Conference on Human-Robot Interaction, ACM |
36 | Signal Processing | ICA | Independent Component Analysis, Springer |
37 | Internet Technology | ICDCIT | International Conference on Distributed Computing and Internet Technology, Springer |
38 | Distributed And Parallel Computing | ICDCN | International Conference on Distributed Computing and Networking, Springer |
39 | Communications | ICOIN | International Conference on Information Networking, Springer |
40 | Information Technology | ICONFERENCE | |
41 | Healthcare | IHI | |
42 | Natural Language Processing | IR | Textverarbeitung und Informatik, |
43 | Artificial Intelligence | IS | |
44 | Hardware | ISPD | International Symposium on Physical Design, ACM |
45 | Software Engineering | IUI | International Conference on Intelligent User Interfaces, ACM |
46 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
47 | Artificial Intelligence | LATA | Language and Automata Theory and Applications, Springer |
48 | Automated Reasoning | LPAR | Logic for Programming, Springer |
49 | Machine Learning | ML | Workshop on Machine Learrning, ACM |
50 | Intelligent Agents | MMAS | International Workshop on Massively Multiagent Systems, Springer |
51 | Communications | MMB | GI/ITG Conference on Measuring, Springer |
52 | Multimedia | MMM | Multimedia Modeling, Springer |
53 | Programming Languages | PADL | International Workshop on Practical Aspects of Declarative Languages, Springer |
54 | Computer Networks | PAM | Passive and Active Network Measurement, Springer |
55 | Management | PC | |
56 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
57 | Programming Languages | PLPV | Workshop Programming Languages meets Program Verification, ACM |
58 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
59 | Distributed And Parallel Computing | PPOPP | Principles and Practice of Parallel Programming, ACM |
60 | Languages | PROPOR | Workshop of Computational Processing of Portuguese, Springer |
61 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
62 | Applied Computing | SBP | Social Computing, Springer |
63 | Applied Computing | SCW | IEEE Services Computing Workshops, IEEE |
64 | Internet Technology | SEMWEB | Semantic Web Working Symposium, Springer |
65 | Computer Graphics | SI3D | Symposium on Interactive 3D Graphics, ACM |
66 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
67 | Software Engineering | SIGSOFT | Foundations of Software Engineering, ACM |
68 | Software Engineering | SOCO | International Workshop on Software Composition, Springer |
69 | Theoretical Computer Science | SOFSEM | Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer |
70 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
71 | Optimization | SWARM | International Conference on Advances in Swarm Intelligence, SPRINGER |
72 | Algorithms | TACAS | Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer |
73 | Software Engineering | TASE | Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, IEEE |
74 | Cryptology | TCC | Theory of Cryptography Conference, Springer |
75 | Theoretical Computer Science | TCS | International Conference on Theoretical Computer Science, |
76 | Education | TEDU | |
77 | Hardware | TEI | Tangible and embedded interaction, ACM |
78 | Management | TMA | COST Tra c Monitoring and Analysis Workshop, Springer |
79 | Artificial Intelligence | TSP | |
80 | Virtualization | VEE | ACM/Usenix International Conference On Virtual Execution Environments, ACM |
81 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
82 | Software Engineering | VLSI | VLSI Engineering: Beyond Software Engineering, Springer |
83 | Software Engineering | VMCAI | International Workshop on Verification, Springer |
84 | Virtual Reality | VR | IEEE Virtual Reality Conference, IEEE |
85 | Software Engineering | VSTTE | Verified Software: Tools, Springer |
86 | Computer Vision | WACV | IEEE Workshop on Applications of Computer Vision, IEEE |
87 | Internet Technology | WIDM | Workshop On Web Information And Data Management, ACM |
88 | Communications | WMCSA | IEEE Workshop on Mobile Computing Systems and Applications, IEEE |
89 | Computer Networks | WONS | International Conference on Wireless on Demand Network Systems and Service, IEEE |
90 | Data Mining | WSDM | Web Search and Web Data Mining, ACM |
91 | Internet Technology | WWW | World Wisepersons Workshop, ACM |
92 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
93 | Communications | MOBICOM | International Conference on Mobile Computing and Networking, ACM |
94 | Database | SIGMOD | International Conference on Management of Data, ACM |
95 | Database | PODS | Symposium on Principles of Database Systems, ACM |
96 | Computer Networks | MOBIHOC | International Symposium on Mobile Ad Hoc Networking & Computing, ACM |
97 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
98 | Programming Languages | TOCS | |
99 | Programming Languages | TOIT | |
100 | Programming Languages | TODS | |
101 | Programming Languages | JMLR | |
102 | Automated Reasoning | CL | International Conference on Computational Logic, Springer |
103 | Database | ICDE | International Conference on Data Engineering, IEEE |
104 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
105 | Communications | TOG | |
106 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
107 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
108 | Software Engineering | ISSTA | International Symposium on Software Testing and Analysis, ACM |
109 | Software Engineering | TOSEM | |
110 | Software Engineering | PAMI | |
111 | Data Mining | KDD | International Conference on Knowledge Discovery and Data Mining, ACM |
112 | Data Mining | TOIS | |
113 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
114 | Hardware | JAIR | |
115 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
116 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
117 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
118 | Programming Languages | TON | |
119 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
120 | Computer Vision | CVPR | IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE |
121 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
122 | Hardware | TVCG | |
123 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
124 | Security Privacy | PET | Workshop on Privacy Enhancing Technologies, Springer |
125 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
126 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
127 | Distributed And Parallel Computing | TSE | |
128 | Distributed And Parallel Computing | JACM | |
129 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
130 | Computer Networks | IJCV | |
131 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
132 | Theoretical Computer Science | SPIN | International Workshop on SPIN Model Checking, Springer |
133 | Cryptology | PKC | International Workshop on Public Key Cryptography, Springer |
134 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
135 | Database | ICDT | International Conference on Database Theory, ACM |
136 | Computational Biology | RECOMB | Research in Computational Molecular Biology, Springer |
137 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
138 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
139 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
140 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
141 | Formal Methods | TEC | |
142 | Formal Methods | TKDE | |
143 | Formal Methods | TOCL | |
144 | Data Mining | SDM | Secure Data Management, SIAM |
145 | Programming Languages | ICFP | International Conference on Functional Programming, ACM |
146 | Logical Reasoning | CADE | Automated Deduction, Springer |
147 | Logical Reasoning | SIAMCOMP | |
148 | Logical Reasoning | TMC | |
149 | Database | EDBT | International Conference on Extending Database Technology, ACM |
150 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
151 | Distributed And Parallel Computing | BIOINFORMATICS | |
152 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
153 | Information Technology | MMS | |
154 | Security Privacy | ESORICS | European Symposium on Research in Computer Security, Springer |
155 | Intelligent Agents | AAAI | |
156 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |