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