id | subject | acronym | title |
---|---|---|---|
1 | Computer Vision | ICPR | International Conference on Pattern Recognition, IEEE |
2 | Image Processing | ICIP | International Conference on Image Processing, IEEE |
3 | Computer Vision | CVPR | IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE |
4 | Computer Vision | ECCV | European Conference on Computer Vision, Springer |
5 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
6 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
7 | Machine Learning | ICML | Workshop on Statistical Network Analysis, IEEE |
8 | Robotics | ICRA | International Conference on Robotics and Automation, IEEE |
9 | Computational Linguistics | COLING | |
10 | Database | ICDE | International Conference on Data Engineering, IEEE |
11 | Multimedia | ICMCS | International Conference on Multimedia Computing and Systems, IEEE |
12 | Intelligent Agents | AAAI | |
13 | Information Technology | ECIS | |
14 | Modeling And Simulation | WSC | Winter Simulation Conference, |
15 | Neural Networks | IJCNN | IEEE - INNS - ENNS International Joint Conference on Neural Networks, IEEE |
16 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
17 | Biometrics | HICSS | Hawaii International Conference on System Sciences, IEEE |
18 | Hardware | DATE | Design, IEEE |
19 | Information Technology | NIPS | |
20 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
21 | Artificial Intelligence | ECAI | Truth Maintenance Systems, Springer |
22 | Optimization | GECCO | Genetic and Evolutionary Computation, Springer |
23 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
24 | Information Technology | SIGUCCS | User Services Conference, ACM |
25 | Security Privacy | AGENTS | International Conference on Autonomous Agents, Springer |
26 | Communications | ICC | Engineering and Information Computing, IEEE |
27 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
28 | Artificial Intelligence | FLAIRS | |
29 | Applied Computing | SC | International Workshop on Structural Computing, ACM |
30 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
31 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
32 | Automated Reasoning | CL | International Conference on Computational Logic, Springer |
33 | Data Mining | KDD | International Conference on Knowledge Discovery and Data Mining, ACM |
34 | Security Privacy | ACSAC | Advances in Computer Systems Architecture, IEEE |
35 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
36 | Computer Vision | BMVC | |
37 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
38 | Computer Vision | MVA | |
39 | Software Engineering | IUI | International Conference on Intelligent User Interfaces, ACM |
40 | Hardware | ICCD | International Conference on Computer Design, IEEE |
41 | Hardware | ASPDAC | Asia and South Pacific Design Automation Conference, ACM |
42 | Database | DEXAW | International Workshop on Database and Expert Systems Applications, IEEE |
43 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
44 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
45 | Artificial Intelligence | AIPS | |
46 | Multimedia | MM | International Multimedia Conference, ACM |
47 | Programming Languages | IFIP | International Workshop, Springer |
48 | Distributed And Parallel Computing | PDPTA | |
49 | Social Sciences | CSCW | Computer Supported Cooperative Work, ACM |
50 | Information Technology | CIKM | Conference on Information and Knowledge Management, Springer |
51 | Human Computer Interaction | ACMDIS | Designing Interactive Systems: Processes, ACM |
52 | Education | ERCIMDL | European Conference on Research and Advanced Technology for Digital Libraries, Springer |
53 | Biometrics | FGR | International Conference on Automatic Face and Gesture Recognition, IEEE |
54 | Cryptology | ASIACRYPT | International Conference on Cryptology, Springer |
55 | Neural Networks | ESANN | |
56 | Database | SIGMOD | International Conference on Management of Data, ACM |
57 | Hardware | ISPD | International Symposium on Physical Design, ACM |
58 | Artificial Intelligence | UAI | |
59 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
60 | Hardware | MSS | IEEE Symposium on Mass Storage Systems, IEEE |
61 | Medical Imaging | MICCAI | International Conference on Medical Image Computing and Computer Assisted Intervention, Springer |
62 | Intelligent Agents | ICMAS | International Conference on Multi-Agent Systems, |
63 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
64 | Information Technology | RIAO | |
65 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
66 | Communications | NOMS | Management of Integrated End-to-End Communications and Services, IEEE |
67 | Operating System | USENIX | |
68 | Computer Networks | DSN | International Conference on Dependable Systems and Networks, IEEE |
69 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
70 | VLSI | GLVLSI | Great Lakes Symposium on VLSI, IEEE |
71 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
72 | Computer Networks | LCN | Annual IEEE Conference on Local Computer Networks, IEEE |
73 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
74 | ECommerce | SIGECOM | Electronic Commerce, ACM |
75 | Computer Networks | ICNP | IEEE International Conference on Network Protocols, IEEE |
76 | Visualization | IV | International Conference on Information Visualisation, IEEE |
77 | Computer Graphics | SIBGRAPI | Brazilian Symposium on Computer Graphics and Image Processing, IEEE |
78 | Programming Languages | TOOLS | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
79 | Communications | ISCC | IEEE Symposium on Computers and Communications, IEEE |
80 | Fuzzy Logic | RSCTC | International Conference on Rough Sets and Current Trends in Computing, Springer |
81 | Information Technology | TREC | Trends in Distributed Systems for Electronic Commerce, |
82 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
83 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
84 | Robotics | ISER | International Symposium on Experimental Robotics, Springer |
85 | Digital Library | DL | Digital Libraries: Current Issues, Springer |
86 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
87 | Education | CORR | Workshop on Service Oriented Computing, Springer |
88 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
89 | Computer Science | EDBT | International Conference on Extending Database Technology, ACM |
90 | Music | ISMIR | International Symposium on Music Information Retrieval, Springer |
91 | Computer Graphics | GRAPHICSINTERFACE | |
92 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
93 | Hardware | ISLPED | International Symposium on Low Power Electronics and Design, ACM |
94 | Artificial Intelligence | CP | Principles and Practice of Constraint Programming, Springer |
95 | Multimedia | ITS | International Conference on Intelligent Tutoring Systems, Springer |
96 | Computer Graphics | DCC | Data Compression Conference, IEEE |
97 | Hardware | ITC | International Teletra c Congress, IEEE |
98 | Emerging Technology | WETICE | IEEE International Workshops on Enabling Technologies, IEEE |
99 | Programming Languages | ASPLOS | Architectural Support for Programming Languages and Operating Systems, ACM |
100 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
101 | Internet Technology | WEBNET | |
102 | Distributed And Parallel Computing | ISORC | IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, IEEE |
103 | Internet Technology | WISE | Web Information Systems, Springer |
104 | Distributed And Parallel Computing | CLUSTER | IEEE International Conference on Cluster Computing, IEEE |
105 | Automated Reasoning | KR | International Conference on Principles and Knowledge Representation and Reasoning, Springer |
106 | Computer Animation | CA | Computer Animation, IEEE |
107 | Hardware | FPL | International Workshop/Conference on Field-Programmable Logic and Applications, Springer |
108 | Virtual Reality | VR | IEEE Virtual Reality Conference, IEEE |
109 | Artificial Intelligence | PRICAI | Pacific Rim International Conference on Artificial Intelligence, Springer |
110 | Computer Animation | NPAR | Non-Photorealistic Animation and Rendering, ACM |
111 | Information Technology | KES | Knowledge-Based Intelligent Information and Engineering Systems, Springer |
112 | Software Engineering | CODES | International Workshop on Hardware/Software Co-Design, IEEE |
113 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
114 | Computer Graphics | RT | Rich Transcription Workshop, Springer |
115 | Hardware | ISSS | International Symposium on Software Security, IEEE |
116 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
117 | Control Systems | HYBRID | Hybrid Systems, Springer |
118 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
119 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
120 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
121 | Digital Library | ADL | Forum on Advances in Digital Libraries, Springer |
122 | Computer Animation | HUMO | Workshop on Human Motion, Springer |
123 | Computational Biology | ISMB | |
124 | Image Analysis | SSIAI | IEEE Southwest Symposium on Image Analysis and Interpretation, IEEE |
125 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
126 | Internet Technology | AH | International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, Springer |
127 | Software Engineering | EUROMICRO | EUROMICRO Conference, IEEE |
128 | Visualization | INFOVIS | IEEE Symposium on Information Visualization, IEEE |
129 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
130 | Computer Graphics | CGI | Computer Graphics International, IEEE |
131 | Software Engineering | WCRE | Working Conference on Reverse Engineering, IEEE |
132 | Software Engineering | APSEC | Asia-Pacific Software Engineering Conference, IEEE |
133 | Distributed And Parallel Computing | EUROPAR | International Euro-Par Conference, Springer |
134 | Database | PODS | Symposium on Principles of Database Systems, ACM |
135 | Information Technology | ITCC | International Conference on Information Technology: Coding and Computing, IEEE |
136 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
137 | Operating System | OSDI | USENIX Symposium on Operating Systems Design and Implementation, ACM |
138 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
139 | Information Technology | IRMA | |
140 | Artificial Intelligence | ICTAI | IEEE International Conference on Tools with Artificial Intelligence, IEEE |
141 | Computer Graphics | PG | Pacific Conference on Computer Graphics and Applications, IEEE |
142 | Distributed And Parallel Computing | HCW | Heterogeneous Computing Workshop, IEEE |
143 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
144 | VLSI | VLSID | International Conference on VLSI Design, IEEE |
145 | Software Engineering | ISSTA | International Symposium on Software Testing and Analysis, ACM |
146 | Intelligent Agents | ATAL | Intelligent Agents II, Springer |
147 | Security Privacy | SP | IEEE Symposium on Security and Privacy, IEEE |
148 | Hardware | VTS | IEEE VLSI Test Symposium, IEEE |
149 | Emerging Technology | ASSETS | ACM SIGACCESS Conference on Computers and Accessibility, ACM |
150 | Information Technology | CAISE | Advances Information System Engineering, Springer |
151 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
152 | Computer Networks | ICDCSW | International Conference on Distributed Computing Systems Workshops, IEEE |
153 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
154 | Internet Technology | HT | Conference on Hypertext and Hypermedia, ACM |
155 | FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
156 | Signal Processing | TSD | International Conference/Workshop on Text, Springer |
157 | Information Technology | ICIS | International Conference on Information Systems, |
158 | Software Engineering | COMPSAC | Annual International Computer Software and Applications Conference, IEEE |
159 | Embedded Systems | RTCSA | Real-Time and Embedded Computer Systems and Applications, IEEE |
160 | Operating System | SIGOPSE | SIGOPS European Workshop, ACM |
161 | Applied Computing | BIRTHDAY | Computation Theory and Logic, Springer |
162 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
163 | Computer Networks | NETWORKING | International Conference on Research in Networking, |
164 | Knowledge Management | PAKM | Practical Aspects of Knowledge Management, |
165 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
166 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
167 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
168 | VLSI | FCCM | Annual IEEE Symposium on Field-Programmable Custom Computing Machines, IEEE |
169 | Distributed And Parallel Computing | IEEEPACT | International Conference on Parallel Architectures and Compilation Techniques, IEEE |
170 | Software Engineering | SIGSOFT | Foundations of Software Engineering, ACM |
171 | Security Privacy | CCS | Conference on Computer and Communications Security, ACM |
172 | Information Technology | ICEIS | International Conference on Enterprise Information Systems, IEEE |
173 | Programming Languages | ICFP | International Conference on Functional Programming, ACM |
174 | Human Computer Interaction | ISWC | International Semantic Web Conference, IEEE |
175 | Computational Biology | RECOMB | Research in Computational Molecular Biology, Springer |
176 | Natural Language Processing | UML | International Workshop/Conference on the Unified Modeling Language, Springer |
177 | Distributed And Parallel Computing | HPCA | High Performance Computing and Applications, IEEE |
178 | Computer Networks | NDSS | Network and Distributed System Security Symposium, IEEE |
179 | Visualization | VVS | Symposium on Volume Visualization and Graphics, IEEE |
180 | Computer Networks | MOBIHOC | International Symposium on Mobile Ad Hoc Networking & Computing, ACM |
181 | Hardware | ATS | Asian Test Symposium, IEEE |
182 | Hardware | ECBS | IEEE International Conference on the Engineering of Computer-Based Systems, IEEE |
183 | Communications | VCIP | |
184 | Hardware | ISMVL | IEEE International Symposium on Multiple-Valued Logic, IEEE |
185 | Database | ADBIS | Advances in Databases and Information Systems, Springer |
186 | Cryptology | AES | Advaced Encryption Standard, Springer |
187 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
188 | Software Engineering | KBSE | Knowledge-Based Software Engineering Conference, IEEE |
189 | Artificial Intelligence | AI | Australian Conference on Artificial Intelligence, Springer |
190 | Formal Methods | FMCAD | International Conference on Formal Methods in Computer-Aided Design, Springer |
191 | Biometrics | ICMI | International Conference on Multimodal Interfaces, Springer |
192 | Hardware | IWMM | International Workshop on Memory Management, Springer |
193 | Image Processing | IMAGING | |
194 | Algorithms | ESA | European Symposium on Algorithms, Springer |
195 | Software Engineering | AVI | AVI, |
196 | Computer Science | PUK | |
197 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
198 | Intelligent Agents | IDEAL | International Conference on Intelligent Data Engineering and Automated Learning, Springer |
199 | Intelligent Agents | WOA | |
200 | Robotics | ROBOCUP | Robot Soccer World Cup, Springer |
201 | Pattern Recognition | SSPR | International Workshop on Structural and Syntactic Pattern Recognition, Springer |
202 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
203 | Programming Languages | ESOP | European Symposium on Programming, Springer |
204 | Data Mining | PKDD | European Symposium/Conference on Principles of Data Mining and Knowledge Discovery, Springer |
205 | Software Engineering | DAGSTUHL | Scientific Visualization Conference, |
206 | Communications | MOBICOM | International Conference on Mobile Computing and Networking, ACM |
207 | Hardware | ASAP | Architectures and Processors Application-Specific Systems, IEEE |
208 | Hardware | EH | NASA/DoD Conference on Evolvable Hardware, IEEE |
209 | Computer Vision | BMCV | International Workshop on Biologically Motivated Computer Vision, Springer |
210 | Natural Language Processing | KONVENS | Verarbeitung nat?rlicher Sprache, |
211 | Applied Computing | IC | |
212 | Software Engineering | WOSP | International Workshop on Software and Performance, ACM |
213 | Distributed And Parallel Computing | HPCN | International Conference on High-Performance Computing and Networking, Springer |
214 | Algorithms | TACAS | Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer |
215 | Hardware | ASYNC | International Symposium on Asynchronous Circuits and Systems, IEEE |
216 | Distributed And Parallel Computing | ICPPW | International Conference on Parallel Processing Workshops, IEEE |
217 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
218 | Intelligent Agents | FAABS | International Workshop on Formal Approaches to Agent-Based Systems, Springer |
219 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
220 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
221 | Information Technology | VISUAL | International Conference on Advances in Visual Information Systems, Springer |
222 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
223 | Internet Technology | OHS | International Workshop on Open Hypermedia Systems, Springer |
224 | Programming Languages | SAIG | International Workshop on Semantics, Springer |
225 | Digital Library | DELOS | |
226 | Software Engineering | ICSM | IEEE International Conference on Software Maintenance, IEEE |
227 | Modeling And Simulation | BMAS | IEEE/ACM International Workshop on Behavioral Modeling and Simulation, IEEE |
228 | Communications | WMCSA | IEEE Workshop on Mobile Computing Systems and Applications, IEEE |
229 | Information Technology | CLEF | Workshop of Cross-Language Evaluation Forum, Springer |
230 | Software Engineering | IWSSD | International Workshop on Software Specifications & Design, IEEE |
231 | Cryptology | FSE | International Workshop on Fast Software Encryption, Springer |
232 | Information Technology | VIP | |
233 | Visualization | VMV | |
234 | Distributed And Parallel Computing | ICPADS | International Conference on Parallel and Distributed Systems, IEEE |
235 | Security Privacy | ACISP | Australasian Conference on Information Security and Privacy, Springer |
236 | Intelligent Agents | AGENTCL | Issues in Agent Communication, Springer |
237 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
238 | Artificial Intelligence | DIAGRAMS | International Conference on Theory and Application of Diagrams, Springer |
239 | Cryptology | FC | International Conference on Financial Cryptography, Springer |
240 | Distributed And Parallel Computing | PPSN | International Conference on Parallel Problem Solving from Nature, Springer |
241 | Embedded Systems | ECRTS | Euromicro Conference on Real-Time Systems, IEEE |
242 | Intelligent Agents | AOSE | International Workshop on Agent-Oriented Software Engineering, Springer |
243 | Cryptology | CHES | International Workshop on Cryptographic Hardware and Embedded Systems, Springer |
244 | ECommerce | ECWEB | International Conference on Electronic Commerce and Web Technologies, Springer |
245 | Software Engineering | ISSRE | International Symposium on Software Reliability Engineering, IEEE |
246 | System Software | CASES | International Conference on Compilers, ACM |
247 | Embedded Systems | RTAS | IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE |
248 | Logical Reasoning | CADE | Automated Deduction, Springer |
249 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
250 | Discrete Geometry | JCDCG | Japanese Conference on Discrete and Computational Geometry, Springer |
251 | Artificial Intelligence | WIA | International Workshop on Implementing Automata, Springer |
252 | Formal Methods | ZUM | International Conference of Z Users, Springer |
253 | Distributed And Parallel Computing | EDOC | IEEE International Enterprise Distributed Object Computing Conference, IEEE |
254 | Theoretical Computer Science | ACSE | Australasian Conference on Computer Science Education, ACM |
255 | Theoretical Computer Science | ITICSE | Annual Joint Conference Integrating Technology into Computer Science Education, ACM |
256 | Computational Biology | ASM | International Workshop on Abstract State Machines, ASM |
257 | Computer Networks | IWAN | International Working Conference on Active Networks, Springer |
258 | Database | SSDBM | International Conference on Statistical and Scientific Database Management, IEEE |
259 | Internet Technology | VRML | Virtual Reality Modeling Language Symposium, ACM |
260 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
261 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
262 | Theoretical Computer Science | SPIN | International Workshop on SPIN Model Checking, Springer |
263 | Information Technology | SPIRE | International Symposium on String Processing and Information Retrieval, Springer |
264 | Software Engineering | CSMR | European Conference on Software Maintenance and Reengineering, IEEE |
265 | Virtual Reality | VRST | Virtual Reality Software and Technology, ACM |
266 | Robotics | DARS | International Symposium on Distributed Autonomous Robotic Systems, Springer |
267 | Communications | AIWORC | Academia/Industry Working Conference on Research Challenges, IEEE |
268 | Information Technology | ELPUB | Openness in Digital Publishing: Awareness, ACM |
269 | Information Technology | DAWAK | International Conference on Data Warehousing and Knowledge Discovery, Springer |
270 | Multimedia | IDMS | International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, Springer |
271 | Theoretical Computer Science | CMG | |
272 | Modeling And Simulation | ANSS | Annual Simulation Symposium, IEEE |
273 | Software Engineering | AC | Agent Communication, Springer |
274 | Mathematics | ACMMPC | Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Springer |
275 | Computer Graphics | GD | Graph Drawing, Springer |
276 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
277 | Information Technology | SPATIALCOGNITION | Spatial Cognition, Springer |
278 | Software Engineering | ICRE | IEEE International Conference on Requirements Engineering, IEEE |
279 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
280 | Security Privacy | ESORICS | European Symposium on Research in Computer Security, Springer |
281 | Distributed And Parallel Computing | GRID | International Workshop on Grid Computing, Springer |
282 | Human Computer Interaction | HHCI | International Workshop on Haptic Human-Computer Interaction, |
283 | Artificial Intelligence | IEAAIE | Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer |
284 | Distributed And Parallel Computing | ISHPC | International Symposium on High Performance Computing, Springer |
285 | Artificial Intelligence | ISMIS | International Symposium on Methodologies for Intelligent Systems, Springer |
286 | System Software | LCR | International Workshop on Languages, Springer |
287 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
288 | Business | BPM | Business Process Management, Springer |
289 | Image Processing | PICS | |
290 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
291 | Automated Reasoning | GIS | International Conference on Geographic Information Systems, ACM |
292 | Pattern Recognition | MCS | Multiple Classifier Systems, Springer |
293 | Algorithms | SWAT | Scandinavian Workshop on Algorithm Theory, Springer |
294 | Software Engineering | AMAST | International Conference on Algebraic Methodology and Software Technology, Springer |
295 | Intelligent Agents | ECAIW | Workshop on Agent Theories, Springer |
296 | Artificial Intelligence | SARA | International Symposium on Abstraction, Springer |
297 | Modeling And Simulation | ESM | |
298 | ECommerce | WECWIS | International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, IEEE |
299 | Artificial Intelligence | TABLEAUX | International Workshop/Conference on Analytic Tableaux and Related Methods, Springer |
300 | Database | WEBDB | International Workshop on the World Wide Web and Databases, Springer |
301 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
302 | Theoretical Computer Science | IFIPTCS | Theoretical Computer Science, |
303 | Information Technology | LATIN | Latin American Symposium on Theoretical Informatics, Springer |
304 | Intelligent Agents | MABS | International Workshop on Multi-Agent Systems and Agent-Based Simulation, Springer |
305 | Artificial Intelligence | MICAI | Mexican International Conference on Artificial Intelligence, Springer |
306 | Software Engineering | SPLC | Software Product Line Conference, |
307 | Control Systems | RSP | IEEE International Workshop on Rapid System Prototyping, IEEE |
308 | Mathematics | AFPAC | International Workshop on Algebraic Frames for the Perception-Action Cycle, Springer |
309 | Intelligent Agents | CIA | International Workshop on Cooperative Information Agents, Springer |
310 | Information Technology | EKAW | European Knowledge Acquisition Workshop, Springer |
311 | Distributed And Parallel Computing | COORDINATION | International Conference on Coordination Languages and Models, Springer |
312 | Security Privacy | DIAU | International Workshop on Design Issues in Anonymity and Unobservability, Springer |
313 | Internet Technology | DIGITALCITIES | Community Computing and Support Systems, Springer |
314 | Human Computer Interaction | HUC | International Symposium on Handheld and Ubiquitous Computing (preceding Ubicomp), Springer |
315 | Programming Languages | JAVA | Java Grande Conference, Springer |
316 | Artificial Intelligence | SBIA | Brazilian Symposium on Artificial Intelligence, Springer |
317 | Virtual Reality | VW | International Conference on Virtual Worlds, Springer |
318 | Hardware | MSE | IEEE International Conference on/Multimedia Software Engineering Microelectronics Systems Education, IEEE |
319 | Applied Computing | PRDC | IEEE Pacific Rim International Symposium on Dependable Computing, IEEE |
320 | Artificial Intelligence | AIMSA | International Conference on Artificial Intelligence: Methodology, Springer |
321 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
322 | Intelligent Agents | ESAW | International Workshop on Engineering Societies in the Agents World, Springer |
323 | Communications | NGC | International COST264 Workshop on Networked Group Communication, Springer |
324 | Programming Languages | PPDP | International Conference on Principles and Practice of Declarative Programming, Springer |
325 | Database | DBSEC | |
326 | Information Technology | EJC | |
327 | Software Engineering | IWPC | International Workshop on Program Comprehension, IEEE |
328 | Information Technology | IRAL | International Workshop on Information Retrieval with Asia Languages, ACM |
329 | Human Computer Interaction | DSVIS | Design, Springer |
330 | Distributed And Parallel Computing | EDO | International Workshop on Engineering Distributed Objects, Springer |
331 | Automated Reasoning | ILP | International Workshop/Conference on Inductive Logic Programming, Springer |
332 | Natural Language Processing | NLP | International Conference on Natural Language Processing, |
333 | Education | PATAT | International Conference on the Practice and Theory of Automated Timetabling, Springer |
334 | Computer Vision | SMILE | European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, Springer |
335 | Information Technology | DOLAP | Data Warehousing and OLAP, ACM |
336 | Software Engineering | FASE | Internationsl Conference on Fundamental Approaches to Software Engineering, Springer |
337 | Communications | MA | International Workshop/Symposium on Mobile Agents, Springer |
338 | Hardware | ETS | IEEE European Test Symposium, IEEE |
339 | Software Engineering | ASWEC | Australian Software Engineering Conference, IEEE |
340 | Database | IDEAS | International Database Engineering and Applications Symposium, IEEE |
341 | Hardware | ISQED | International Symposium on Quality Electronic Design, IEEE |
342 | Discrete Geometry | DGCI | International Workshop on Discrete Geometry for Computer Imagery, Springer |
343 | Computational Geometry | IMR | International Meshing Roundtable, Springer |
344 | Cryptology | PKC | International Workshop on Public Key Cryptography, Springer |
345 | Distributed And Parallel Computing | VECPAR | International Conference on Vector and Parallel Processing, Springer |
346 | Programming Languages | ROOM | |
347 | System Software | TIC | International Workshop on Types in Compilation, Springer |
348 | Software Engineering | APAQS | Asia-Pacific Conference on Quality Software, IEEE |
349 | VLSI | DFT | IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE |
350 | Hardware | CPE | Computer Performance Evaluation, Springer |
351 | Database | FQAS | International Conference on Flexible Query Answering Systems, Springer |
352 | Artificial Intelligence | JELIA | European Workshop on Logics in Artificial Intelligence, Springer |
353 | Applied Computing | UMC | International Conference on Unconventional Methods of Computation, |
354 | Software Engineering | CRIWG | International Workshop on Groupware, |
355 | Modeling And Simulation | MASCOTS | Performance Tools and Applications to Networked Systems, |
356 | Information Technology | COOPIS | IFCIS International Conference on Cooperative Information Systems, IEEE |
357 | Solid Modeling | GMP | Geometric Modeling and Processing, IEEE |
358 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
359 | Algorithms | APPROX | International Workshop on Approximation Algorithms for, Springer |
360 | Computer Networks | DSOM | Active Technologies for Network and Service Management, Springer |
361 | Distributed And Parallel Computing | USM | Universal Service Market, |
362 | Management | DMDW | |
363 | Software Engineering | APL | International Conference on APL, ACM |
364 | Programming Languages | APLAS | Asian Symposium on Programming Languages and Systems, ACM |
365 | Biometrics | ETRA | Eye Tracking Research & Application, ACM |
366 | System Software | LCTRTS | Languages, Springer |
367 | Data Mining | PAKDD | Pacific-Asia Conference on Knowledge Discovery and Data Mining, ACM |
368 | Information Technology | WAIM | International Conference on Web-Age Information Management, Springer |
369 | Theoretical Computer Science | ACSC | Asian Computing Science Conference (later ASIAN), IEEE |
370 | Distributed And Parallel Computing | ECOOPW | Object-Based Concurrent Computing, Springer |
371 | Distributed And Parallel Computing | HIPC | International Conference on High-Performance Computing, Springer |
372 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
373 | Business | ISDO | |
374 | Security Privacy | SEC | IEEE International Symposium on Embedded Computing, |
375 | Software Engineering | WIESS | |
376 | Hardware | ICECCS | IEEE International Conference on Engineering of Complex Computer Systems, IEEE |
377 | Algorithms | ANTS | International Algorithmic Number Theory Symposium, Springer |
378 | Algorithms | CIAC | Italian Conference on Algorithms and Complexity, Springer |
379 | Internet Technology | DCW | International Workshop on Distributed Communities on the Web, Springer |
380 | Mathematics | NAA | International Conference on Numerical Analysis and Its Applications, Springer |
381 | Distributed And Parallel Computing | ISPAN | Algorithms Parallel Architectures, IEEE |
382 | Modeling And Simulation | PADS | Workshop on Parallel and Distributed Simulation, ACM |
383 | Hardware | CARDIS | Smart Card Research and Advanced Application, Springer |
384 | Theoretical Computer Science | DIS | Designing Interactive Systems, Springer |
385 | Software Engineering | IWSAS | International Workshop on Self Adaptive Software, Springer |
386 | Programming Languages | POS | International Workshop on Persistent Object Systems, Springer |
387 | Internet Technology | QOFIS | COST 263 International Workshop on Quality of Future Internet Services, Springer |
388 | Theoretical Computer Science | RTA | International Conference on Rewriting Techniques and Applications, Springer |
389 | Automated Reasoning | DLOG | |
390 | Computer Graphics | CG | International Conference on Computers and Games, Springer |
391 | Combinatorics | COCOON | International Conference on Computing and Combinatorics, Springer |
392 | Automated Reasoning | EWCBR | European Workshop on Topics in Case-Based Reasoning, Springer |
393 | Communications | ISN | International Conference on Intelligence in Services and Networks, Springer |
394 | Distributed And Parallel Computing | MIDDLEWARE | Middleware Conference, Springer |
395 | Knowledge Management | ISIWI | |
396 | Computational Geometry | CGA | Computational Geometry and its Applications, |
397 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
398 | Computer Graphics | AMDO | International Workshop on Articulated Motion and Deformable Objects, Springer |
399 | Hardware | PACS | International Workshop on Power-Aware Computer Systems, Springer |
400 | Computer Networks | SLIP | International Workshop on System-Level Interconnect Prediction, ACM |
401 | Document Analysis | DDEP | International Conference on Digital Documents and Electronic Publishing, Springer |
402 | Optimization | EUROGP | European Workshop on Genetic Programming, Springer |
403 | Formal Methods | IFM | International Conference on Integrated Formal Methods, Springer |
404 | Applied Computing | PARA | International Workshop on Applied Parallel Computing, Springer |
405 | Computer Graphics | DEFORM | |
406 | System Software | CC | Critical Computing, Springer |
407 | Programming Languages | PADL | International Workshop on Practical Aspects of Declarative Languages, Springer |
408 | Algorithms | WFLP | International Workshop on Functional and Constraint Logic Programming, Springer |
409 | Database | ADC | Agile Development Conference/Australasian Database Conference, Springer |
410 | Software Engineering | ECOOPWEXCEPTION | Advances in Exception Handling Techniques, Springer |
411 | Formal Methods | IFL | International Workshop on Implementation of Functional Languages, Springer |
412 | Computer Networks | RAID | International Workshop on Recent Advances in Intrusion Detection, Springer |
413 | Theoretical Computer Science | SOFSEM | Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer |
414 | Information Technology | EFDBS | |
415 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
416 | Cryptology | SACRYPT | Selected Areas in Cryptography, Springer |
417 | Security Privacy | SPW | Software Process Workshop, Springer |
418 | Computer Networks | SMARTNET | |
419 | Medical Imaging | CBMS | IEEE Symposium on Computer-Based Medical Systems, IEEE |
420 | Software Engineering | ADAEUROPE | Ada-Europe International Conference on Reliable Software Technologies, Springer |
421 | Artificial Intelligence | AMAI | International Symposium on Artificial Intelligence and Mathematics, Springer |
422 | Image Processing | DAGM | Digital Bildverarbeitung - Digital Image Processing, Springer |
423 | Communications | MATA | International Workshop on Mobile Agents for Telecommunication Applications, Springer |
424 | Modeling And Simulation | PATMOS | International Workshop on Power and Timing Modeling, Springer |
425 | Information Technology | IIS | IASTED International Conference on Intelligent Information Systems, |
426 | Pattern Recognition | AIPR | Applied Image Pattern Recognition Workshop, IEEE |
427 | Artificial Intelligence | EVOW | Process in Evolutionary Computation Workshop, Springer |
428 | Biometrics | GCB | German Conference on Bioinformatics, Springer |
429 | Programming Languages | JMLC | Joint Modular Languages Conference, Springer |
430 | Automated Reasoning | LPAR | Logic for Programming, Springer |
431 | Theoretical Computer Science | RELMICS | International Seminar on the Use of Relational Methods in Computer Science, Springer |
432 | Formal Methods | TYPES | International Workshop on Types for Proofs and Programs, Springer |
433 | Computer Science | CATA | |
434 | Bioinformatics | BIBE | IEEE International Symposium on Bioinformatic and Bioengineering, IEEE |
435 | Neural Networks | SBRN | Brazilian Symposium on Neural Networks, IEEE |
436 | Software Engineering | AADEBUG | International Workshop on Automated and Algorithmic Debugging, Springer |
437 | Software Engineering | FOSSACS | International Conference on Foundations of Software Science and Computation Structure, Springer |
438 | Information Technology | ISW | International Information Security Workshop (later ISC), Springer |
439 | Formal Methods | IWFM | |
440 | Computer Animation | SIMVIS | |
441 | Algorithms | WAE | International Workshop on Algorithm Engineering, |
442 | Software Engineering | AUIC | Australasian User Interface Conference, IEEE |
443 | Distributed And Parallel Computing | PARELEC | International Conference on Parallel Computing in Electrical Engineering, IEEE |
444 | Bioinformatics | DNA | International Workshop on DNA-Based Computers, Springer |
445 | Information Technology | ESSIR | European Summer School on Information Retrieval, |
446 | Hardware | IMS | International Workshop on Intelligent Memory Systems, |
447 | Database | OODBS | International Workshop on Object-Oriented Database Systems, |
448 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
449 | Operating System | LISA | |
450 | Hardware | PTS | |
451 | Computer Architecture | CAMP | International Workshop on Computer Architectures for Machine Perception, IEEE |
452 | Theoretical Computer Science | ACMSE | ACM Southeast Regional Conference, ACM |
453 | Control Systems | FROCOS | International Workshop on Frontiers of Combining Systems, Springer |
454 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
455 | Intelligent Agents | PRIMA | Pacific Rim International Workshop on Multi-Agents, Springer |
456 | Security Privacy | SAFECOMP | International Conference on Computer Safety, Springer |
457 | Internet Technology | TES | International Workshop on Technologies for E-Services, Springer |
458 | Software Engineering | WER | Workshop em Engenharia de Requisitos, Springer |
459 | Modeling And Simulation | GAMEON | |
460 | Artificial Intelligence | ISCAICIS | |
461 | Theoretical Computer Science | CAD | Methoden der Informatik f?r Rechnerunterst?tztes Entwerfen und Konstruieren, Springer |
462 | Knowledge Management | KIC | |
463 | Hardware | SAM | System Analysis and Modeling, |
464 | Database | SPIESR | |
465 | Multimedia | WOWMOM | International Workshop on Wireless Mobile Multimedia, ACM |
466 | Information Technology | AMTA | Conference of the Association for Machine Translation in the Americas, Springer |
467 | Software Engineering | CSEE | Conference on Software Engineering Education, Springer |
468 | Software Engineering | EWSPT | European Workshop on Software Process Technology, Springer |
469 | Software Engineering | GCSE | International Symposium on Generative and Component-Based Software Engineering, Springer |
470 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
471 | Education | DGO | |
472 | Information Technology | SIROCCO | Structural Information and Communication Complexity, |
473 | Mathematics | ADG | International Workshop on Automated Deduction in Geometry, Springer |
474 | Communications | CANPC | Communication and Architectural Support for Network-Based Parallel Computing, Springer |
475 | Machine Learning | ECML | European Working Session on Learning, Springer |
476 | Software Engineering | ICSR | International Conference on Software Reuse, Springer |
477 | Hardware | MOVEP | Summer School on Modeling and Verification of Parallel Processes, |
478 | Natural Language Processing | NLDB | International Conference on Applications of Natural Language to Data Bases/Information Systems, Springer |
479 | Information Technology | OOIS | International Conference on Object Oriented Information Systems, Springer |
480 | Artificial Intelligence | ASC | |
481 | Knowledge Management | BDA | |
482 | Computational Geometry | CCCG | |
483 | Computer Architecture | APCSAC | Australasian Computer Architecture Conference, IEEE |
484 | Modeling And Simulation | DSRT | Distributed Simulation and Real-Time Application, IEEE |
485 | Theoretical Computer Science | CCA | International Workshop on Computability and Complexity in Analysis, Springer |
486 | Software Engineering | ICFEM | International Conference on Formal Engineering Methods, Springer |
487 | Natural Language Processing | ICGI | International Colloquium on Grammatical Inference, Springer |
488 | Computer Networks | INTERWORKING | International Symposium on Networks and Services for the Information Society, |
489 | Medical Imaging | ISMDA | International Symposium on Medical Data Analysis, Springer |
490 | Software Engineering | IWSM | International Workshop on Software Measurement, Springer |
491 | Distributed And Parallel Computing | JSSPP | Workshop on Job Scheduling Strategies for Parallel Processing, Springer |
492 | Machine Learning | ML | Workshop on Machine Learrning, ACM |
493 | Neural Networks | NN | International Summer School on Neural Networks, Springer |
494 | Algorithms | DIALM | Workshop on Discrete Algothrithms and Methods for MOBILE Computing and Communications, ACM |
495 | Formal Methods | FMSP | Formal Methods in Software Practice, ACM |
496 | Artificial Intelligence | ACRI | Cellular Automata for Research and Industry, Springer |
497 | Signal Processing | ELSNET | Text- and Speech-Triggered Information Access, |
498 | Programming Languages | JAVACARD | International Java Card Workshop, |
499 | Education | CASCON | |
500 | Communications | FIW | |
501 | Database | GVD | |
502 | Embedded Systems | EEF | European Educational Forum, |
503 | Security Privacy | FOSAD | International School on Foundations of Security Analysis and Design, Springer |
504 | Formal Methods | FTRTFT | International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer |
505 | Image Processing | 3DICA | |
506 | Database | VDB | |
507 | Hardware | IOLTS | IEEE International On-Line Testing Symposium, IEEE |
508 | Automated Reasoning | TIME | International Syposium on Temporal Representation and Reasoning, IEEE |
509 | Artificial Intelligence | AISC | International Conference on Artificial Intelligence and Symbolic Computation, Springer |
510 | Robotics | AMS | Asia International Conference on Modelling & Simulation, Springer |
511 | Software Engineering | IWSAPF | International Workshop on Software Architectures for Product Families, |
512 | Data Mining | TSDM | International Workshop on Temporal, |
513 | Computational Linguistics | CLIN | |
514 | Formal Methods | FORTE | Formal Techniques for Networked and Distributed Systems, |
515 | Hardware | MTDT | Design and Testin Memory Technology, IEEE |
516 | Hardware | ICES | International Conference on Evolvable Systems, Springer |
517 | Automated Reasoning | LOPSTR | Logic Program Synthesis and Transformation, Springer |
518 | Management | ICSTM | |
519 | Multimedia | MMNS | IFIP/IEEE International Conference on Management of Multimedia Networks and Services, |
520 | Data Mining | DMKD | Data Mining And Knowledge Discovery, ACM |
521 | Modeling And Simulation | MSWIM | International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems, ACM |
522 | Algorithms | ASIAN | Algorithms, Springer |
523 | Database | CDB | Constraint Databases and Applications, Springer |
524 | Cryptology | INDOCRYPT | International Conference in Cryptology in India, Springer |
525 | Theoretical Computer Science | WMP | Multiset Processing, |
526 | Information Technology | IQ | |
527 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
528 | Information Technology | ADVIS | International Conference on Advances in Information Systems, Springer |
529 | Mathematics | MPC | International Conference on Mathematics of Program Construction, Springer |
530 | Software Engineering | JISBD | |
531 | Software Engineering | PROFES | International Conference on Product Focused Software Process Improvement, Springer |
532 | Software Engineering | SOFT | Intelligent Systems and Soft Computing: Prospects, |
533 | Computational Biology | JOBIM | International Conference on Biology, |
534 | Formal Methods | FMOODS | Formal Methods for Open Object-Based Distributed Systems, |
535 | Database | SEBD | |
536 | ECommerce | EC | Electronic Commerce, |
537 | Education | ETT | International Conference on Education Technology and Training, |
538 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
539 | Hardware | SIGCPR | SIGCPR Conference on Computer Personnel Research, ACM |
540 | Intelligent Agents | AMEC | International Workshop on Agent-Mediated Electronic Commerce (formerly AMET), Springer |
541 | Artificial Intelligence | WLP | International Conference on Applications of Declarative Programming and Knowledge Management, Springer |
542 | Computational Geometry | EWCG | |
543 | Database | KRDB | |
544 | Management | PC | |
545 | Artificial Intelligence | AIS | Arificial Intelligence and Simulation, Springer |
546 | Natural Language Processing | IR | Textverarbeitung und Informatik, |
547 | Theoretical Computer Science | SCCC | International Conference of the Chilean Computer Science Society, IEEE |
548 | Distributed And Parallel Computing | PVM | Parallel Virtual Machine, Springer |
549 | Cryptology | ICISC | International Conference on Information Security and Cryptology, |
550 | Logical Reasoning | JFPLC | |
551 | Database | SBBD | |
552 | Programming Languages | SFP | |
553 | Intelligent Agents | AAMAS | Symposium on Adaptive Agents and Multi-Agent Systems, Springer |
554 | Modeling And Simulation | ALIFE | |
555 | Computer Networks | NETWORKS | |
556 | Database | FMLDO | International Workshop on Foundations of Models and Languages for Data and Objects, Springer |
557 | Formal Methods | FBT | |
558 | Computer Vision | TFCV | |
559 | Information Technology | IDA | International Symposium on Intelligent Data Analysis, Springer |
560 | Distributed And Parallel Computing | ISR | |
561 | Database | DNIS | International Workshop on Databases in Networked Information Systems, Springer |
562 | Machine Learning | IWLCS | International Workshop on Learning Classifier Systems, Springer |
563 | Logical Reasoning | AIML | |
564 | Computer Graphics | GEO | |
565 | Software Engineering | AIM | |
566 | Algorithms | BILDMED | |
567 | Distributed And Parallel Computing | OPODIS | Principles of Distributed Systems, |
568 | Distributed And Parallel Computing | WDAS | |
569 | Applied Computing | COMGEO | International Conference and Exhibition on Computing for Geospatial Research & Application, ACM |
570 | Communications | ITA | Canadian Workshop on Information Theory and Applications, |
571 | Optimization | PE | Performance Engineering, Springer |
572 | Information Technology | MMS | |
573 | Embedded Systems | PEARL | Workshop ?ber Realzeitsysteme, |
574 | Mathematics | IMAMS | |
575 | Programming Languages | LMO | |
576 | Information Technology | CAI | International Conference on Algebraic Informatics, Springer |
577 | Database | ESE | International Workshop on Expert Systems in Engineering, |
578 | Computer Networks | ONDM | Optical Network Design and Modeling, |
579 | Internet Technology | DC | |
580 | Mathematics | DMTCS | |
581 | Multimedia | ISM | International Symposium on Multimedia, IEEE |
582 | Cognitive Science | KOGNITIONSWISSENSCHA | |
583 | Distributed And Parallel Computing | PAA | |
584 | Business | RML | |
585 | Distributed And Parallel Computing | ACS | |
586 | Artificial Intelligence | IS | |
587 | Software Engineering | RE | IEEE International Conference on Requirements Engineering, Springer |
588 | Algorithms | AAECC | Int. Conference/Symposium on Applied Algebra, Springer |
589 | Emerging Technology | CANDC | Creativity & Cognition, ACM |
Copyright © Sciweavers LLC, 2009-2024, USA.