id | subject | acronym | title |
---|---|---|---|
1 | Computer Vision | CVPR | IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE |
2 | Image Processing | ICIP | International Conference on Image Processing, IEEE |
3 | Modeling And Simulation | WSC | Winter Simulation Conference, |
4 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
5 | Artificial Intelligence | IJCAI | |
6 | Intelligent Agents | AAAI | |
7 | Security Privacy | AGENTS | International Conference on Autonomous Agents, Springer |
8 | Data Mining | KDD | International Conference on Knowledge Discovery and Data Mining, ACM |
9 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
10 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
11 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
12 | Machine Learning | ICML | Workshop on Statistical Network Analysis, IEEE |
13 | Database | ICDE | International Conference on Data Engineering, IEEE |
14 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
15 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
16 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
17 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
18 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
19 | Biometrics | HICSS | Hawaii International Conference on System Sciences, IEEE |
20 | Communications | ICC | Engineering and Information Computing, IEEE |
21 | VLSI | GLVLSI | Great Lakes Symposium on VLSI, IEEE |
22 | Information Technology | NIPS | |
23 | Hardware | ISLPED | International Symposium on Low Power Electronics and Design, ACM |
24 | Computational Biology | ISMB | |
25 | Hardware | DATE | Design, IEEE |
26 | Database | SIGMOD | International Conference on Management of Data, ACM |
27 | Neural Networks | ICANN | International Conference on Artificial Neural Networks, Springer |
28 | Virtual Reality | VRST | Virtual Reality Software and Technology, ACM |
29 | Computer Vision | CVRMED | International Conference on Computer Vision, Springer |
30 | Human Computer Interaction | INTERACT | Human-Computer Interaction, |
31 | FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
32 | Medical Imaging | IPMI | Information Processing in Medical Imaging, Springer |
33 | Multimedia | ICMCS | International Conference on Multimedia Computing and Systems, IEEE |
34 | Human Computer Interaction | ISWC | International Semantic Web Conference, IEEE |
35 | Intelligent Agents | ATAL | Intelligent Agents II, Springer |
36 | Image Processing | ICIAP | International Conference on Image Analysis and Processing, ACM |
37 | Computer Networks | ICNP | IEEE International Conference on Network Protocols, IEEE |
38 | Document Analysis | ICDAR | International Conference on Document Analysis and Recognition, IEEE |
39 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
40 | Operating System | SOSP | ACM Symposium on Operating Systems Principles, ACM |
41 | Education | CASCON | |
42 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
43 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
44 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
45 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
46 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
47 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
48 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
49 | Operating System | USITS | |
50 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
51 | Software Engineering | IUI | International Conference on Intelligent User Interfaces, ACM |
52 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
53 | Multimedia | MM | International Multimedia Conference, ACM |
54 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
55 | Programming Languages | DSL | DSL, |
56 | VLSI | VLSID | International Conference on VLSI Design, IEEE |
57 | Emerging Technology | WETICE | IEEE International Workshops on Enabling Technologies, IEEE |
58 | Software Engineering | CODES | International Workshop on Hardware/Software Co-Design, IEEE |
59 | Image Analysis | CAIP | Computer Analysis of Images and Patterns, Springer |
60 | Distributed And Parallel Computing | HPCN | International Conference on High-Performance Computing and Networking, Springer |
61 | Hardware | ASAP | Architectures and Processors Application-Specific Systems, IEEE |
62 | Software Engineering | ECSCW | |
63 | Software Engineering | TAPSOFT | International Joint Conference on Theory and Practice of Software Development, Springer |
64 | Distributed And Parallel Computing | PPSC | |
65 | Hardware | ITC | International Teletra c Congress, IEEE |
66 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
67 | Computer Vision | BMVC | |
68 | Visualization | INFOVIS | IEEE Symposium on Information Visualization, IEEE |
69 | Information Technology | CIKM | Conference on Information and Knowledge Management, Springer |
70 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
71 | Computer Graphics | SI3D | Symposium on Interactive 3D Graphics, ACM |
72 | Image Processing | 3DIM | International Conference on 3D Digital Imaging and Modeling, IEEE |
73 | Hardware | ISSS | International Symposium on Software Security, IEEE |
74 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
75 | Neural Networks | IWANN | International Workshop/Work-Conference on Artificial and Natural Neural Networks, Springer |
76 | Software Engineering | APSEC | Asia-Pacific Software Engineering Conference, IEEE |
77 | Applied Computing | ARITH | IEEE Symposium on Computer Arithmetic, IEEE |
78 | Computer Graphics | RT | Rich Transcription Workshop, Springer |
79 | Software Engineering | KBSE | Knowledge-Based Software Engineering Conference, IEEE |
80 | Optimization | ICGA | |
81 | Automated Reasoning | LPKR | Logic Programming and Knowledge Representation, Springer |
82 | Artificial Intelligence | UAI | |
83 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
84 | Internet Technology | WEBNET | |
85 | Hardware | ICCD | International Conference on Computer Design, IEEE |
86 | Programming Languages | COOTS | |
87 | Human Computer Interaction | HCI | Human-Computer Interaction, |
88 | Hardware | ISPD | International Symposium on Physical Design, ACM |
89 | Database | ICDT | International Conference on Database Theory, ACM |
90 | Computer Graphics | DCC | Data Compression Conference, IEEE |
91 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
92 | Robotics | ECP | European Conference on Planning, Springer |
93 | Applied Computing | ISTCS | Israel Symposium on Theory of Computing and Systems, Springer |
94 | Programming Languages | TOOLS | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
95 | Cryptology | FSE | International Workshop on Fast Software Encryption, Springer |
96 | Control Systems | HYBRID | Hybrid Systems, Springer |
97 | Communications | ICICS | International Conference on Information and Communications Security, Springer |
98 | Multimedia | IDMS | International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, Springer |
99 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
100 | Software Engineering | COMPSAC | Annual International Computer Software and Applications Conference, IEEE |
101 | Operating System | HOTOS | Workshop on Hot Topics in Operating Systems, IEEE |
102 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
103 | Internet Technology | HT | Conference on Hypertext and Hypermedia, ACM |
104 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
105 | Multimedia | HIM | Hypertext und Hypermedia, Springer |
106 | Computational Biology | RECOMB | Research in Computational Molecular Biology, Springer |
107 | Automated Reasoning | DLOG | |
108 | Applied Computing | BIRTHDAY | Computation Theory and Logic, Springer |
109 | Computer Networks | IM | |
110 | Security Privacy | SP | IEEE Symposium on Security and Privacy, IEEE |
111 | VLSI | FCCM | Annual IEEE Symposium on Field-Programmable Custom Computing Machines, IEEE |
112 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
113 | VLSI | ARVLSI | Conference on Advanced Research in VLSI, IEEE |
114 | Distributed And Parallel Computing | HPCA | High Performance Computing and Applications, IEEE |
115 | GIS | COSIT | Spatial Information Theory: A Theoretical Basis for GIS, Springer |
116 | Software Engineering | DAGSTUHL | Scientific Visualization Conference, |
117 | Distributed And Parallel Computing | EUROPAR | International Euro-Par Conference, Springer |
118 | Algorithms | WADS | Workshop on Algorithms and Data Structures, Springer |
119 | Embedded Systems | RTAS | IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE |
120 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
121 | Robotics | ISER | International Symposium on Experimental Robotics, Springer |
122 | Communications | ICCCN | International Conference on Computer Communications and Networks, IEEE |
123 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
124 | Applied Computing | GROUP | Conference on Supporting Group Work, ACM |
125 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
126 | Distributed And Parallel Computing | ECOOPW | Object-Based Concurrent Computing, Springer |
127 | Software Engineering | ESEC | European Software Engineering Conference, Springer |
128 | Information Technology | TREC | Trends in Distributed Systems for Electronic Commerce, |
129 | Database | DEXAW | International Workshop on Database and Expert Systems Applications, IEEE |
130 | Distributed And Parallel Computing | ISPAN | Algorithms Parallel Architectures, IEEE |
131 | Artificial Intelligence | EPS | International Conference on Evolutionary Programming, Springer |
132 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
133 | Computer Vision | SCALESPACE | International Conference on Scale-Space Theories in Computer Vision, Springer |
134 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
135 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
136 | Hardware | ASYNC | International Symposium on Asynchronous Circuits and Systems, IEEE |
137 | Programming Languages | ICFP | International Conference on Functional Programming, ACM |
138 | Communications | MOBICOM | International Conference on Mobile Computing and Networking, ACM |
139 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
140 | Database | ADBIS | Advances in Databases and Information Systems, Springer |
141 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
142 | Software Engineering | AMAST | International Conference on Algebraic Methodology and Software Technology, Springer |
143 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
144 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
145 | Distributed And Parallel Computing | FTDCS | IEEE International Workshop Future Trends of Distributed Computing Systems, IEEE |
146 | Artificial Intelligence | AIME | Conference on Artificial Intelligence in Medicine in Europe, Springer |
147 | Automated Reasoning | ICCBR | International Conference on Case-Based Reasoning, Springer |
148 | Automated Reasoning | ICLP | International Conference on Logic Programming, Springer |
149 | Communications | ISN | International Conference on Intelligence in Services and Networks, Springer |
150 | Distributed And Parallel Computing | APDC | Advances in Parallel and Distributed Computing Conference, |
151 | Artificial Intelligence | ICTAI | IEEE International Conference on Tools with Artificial Intelligence, IEEE |
152 | Logical Reasoning | CADE | Automated Deduction, Springer |
153 | Formal Methods | FM | World Congress on Formal Methods, Springer |
154 | Computer Graphics | GD | Graph Drawing, Springer |
155 | Theoretical Computer Science | RTA | International Conference on Rewriting Techniques and Applications, Springer |
156 | Formal Methods | COMPOS | International Symposium on Compositionality: The Significant Difference, Springer |
157 | Automated Reasoning | ECSQARU | European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer |
158 | Robotics | ROBOCUP | Robot Soccer World Cup, Springer |
159 | Theoretical Computer Science | CMG | |
160 | Artificial Intelligence | CP | Principles and Practice of Constraint Programming, Springer |
161 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
162 | Distributed And Parallel Computing | PDPTA | |
163 | VLSI | DFT | IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE |
164 | Software Engineering | ICSM | IEEE International Conference on Software Maintenance, IEEE |
165 | Digital Library | DL | Digital Libraries: Current Issues, Springer |
166 | Fuzzy Logic | FUZZY | Fuzzy Logik, Springer |
167 | Control Systems | HASE | IEEE International Symposium on High-Assurance Systems Engineering, IEEE |
168 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
169 | Information Technology | ICIS | International Conference on Information Systems, |
170 | Neural Networks | NN | International Summer School on Neural Networks, Springer |
171 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
172 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
173 | Computer Graphics | PG | Pacific Conference on Computer Graphics and Applications, IEEE |
174 | Software Engineering | AADEBUG | International Workshop on Automated and Algorithmic Debugging, Springer |
175 | Hardware | CPE | Computer Performance Evaluation, Springer |
176 | Information Technology | ISW | International Information Security Workshop (later ISC), Springer |
177 | Distributed And Parallel Computing | JSSPP | Workshop on Job Scheduling Strategies for Parallel Processing, Springer |
178 | Computer Graphics | CGI | Computer Graphics International, IEEE |
179 | Distributed And Parallel Computing | ICPADS | International Conference on Parallel and Distributed Systems, IEEE |
180 | Computer Graphics | GRAPHICSINTERFACE | |
181 | Artificial Intelligence | AGP | Italian Conference on Logic Programming, IEEE |
182 | Medical Imaging | CBMS | IEEE Symposium on Computer-Based Medical Systems, IEEE |
183 | Hardware | ECBS | IEEE International Conference on the Engineering of Computer-Based Systems, IEEE |
184 | Hardware | VTS | IEEE VLSI Test Symposium, IEEE |
185 | Internet Technology | VRML | Virtual Reality Modeling Language Symposium, ACM |
186 | Software Engineering | ARCS | Rechnerstrukturen und Betriebsprogrammierung, Springer |
187 | Algorithms | TACAS | Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer |
188 | Information Technology | COOPIS | IFCIS International Conference on Cooperative Information Systems, IEEE |
189 | Hardware | ICECCS | IEEE International Conference on Engineering of Complex Computer Systems, IEEE |
190 | Modeling And Simulation | PADS | Workshop on Parallel and Distributed Simulation, ACM |
191 | Database | PODS | Symposium on Principles of Database Systems, ACM |
192 | Automated Reasoning | ALP | International Workshop/Conference on Algebraic and Logic Programming, Springer |
193 | Artificial Intelligence | AUSAI | Australian Joint Artificial Intelligence Conference, Springer |
194 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
195 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
196 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
197 | Distributed And Parallel Computing | ARTS | International Workshop on Real-Time Systems and Concurrent and Distributed Software, Springer |
198 | Cryptology | FC | International Conference on Financial Cryptography, Springer |
199 | Automated Reasoning | KGC | Kurt Godel Colloquium, Springer |
200 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
201 | Robotics | OFAI | Creating Personalities for Synthetic Actors, Springer |
202 | Distributed And Parallel Computing | DAIS | |
203 | Software Engineering | EUROMICRO | EUROMICRO Conference, IEEE |
204 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
205 | Database | DBPL | International Workshop on Database Programming Languages, Springer |
206 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
207 | Hardware | FPL | International Workshop/Conference on Field-Programmable Logic and Applications, Springer |
208 | Distributed And Parallel Computing | PVM | Parallel Virtual Machine, Springer |
209 | Machine Learning | ECML | European Working Session on Learning, Springer |
210 | Artificial Intelligence | ISMIS | International Symposium on Methodologies for Intelligent Systems, Springer |
211 | Information Technology | OOIS | International Conference on Object Oriented Information Systems, Springer |
212 | Theoretical Computer Science | TLCA | International Conference on Typed Lambda Calculi and Applications, Springer |
213 | Neural Networks | ESANN | |
214 | Automated Reasoning | TIME | International Syposium on Temporal Representation and Reasoning, IEEE |
215 | Solid Modeling | SMA | International Conference on Shape Modeling and Applications, ACM |
216 | Software Engineering | AC | Agent Communication, Springer |
217 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
218 | Database | DOOD | International Conference on Deductive and Object-Oriented Databases, Springer |
219 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
220 | Programming Languages | IFIP | International Workshop, Springer |
221 | Software Engineering | RE | IEEE International Conference on Requirements Engineering, Springer |
222 | Software Engineering | TACS | International Conference/Symposium on Theoretical Aspects of Computer Software, Springer |
223 | Image Processing | DAGM | Digital Bildverarbeitung - Digital Image Processing, Springer |
224 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
225 | Information Technology | SCIE | International Summer School on Information Extraction, Springer |
226 | Security Privacy | SPW | Software Process Workshop, Springer |
227 | Software Engineering | WCRE | Working Conference on Reverse Engineering, IEEE |
228 | Human Computer Interaction | ACMDIS | Designing Interactive Systems: Processes, ACM |
229 | Distributed And Parallel Computing | PPOPP | Principles and Practice of Parallel Programming, ACM |
230 | Security Privacy | ACISP | Australasian Conference on Information Security and Privacy, Springer |
231 | Artificial Intelligence | AE | European Conference on Artificial Evolution, Springer |
232 | Security Privacy | CCS | Conference on Computer and Communications Security, ACM |
233 | Database | SSD | International Symposium on Spatial Databases, Springer |
234 | Information Technology | RIAO | |
235 | Distributed And Parallel Computing | PDP | Distributed Parallel, IEEE |
236 | Combinatorics | COCOON | International Conference on Computing and Combinatorics, Springer |
237 | Information Technology | EKAW | European Knowledge Acquisition Workshop, Springer |
238 | Information Technology | IDA | International Symposium on Intelligent Data Analysis, Springer |
239 | Computer Networks | KIVS | Rechnernetze und Datenfernverarbeitung, Springer |
240 | Automated Reasoning | LOPSTR | Logic Program Synthesis and Transformation, Springer |
241 | Biometrics | AVBPA | Audio- and Video-Based Biometric Person Authentication, Springer |
242 | Information Technology | CAISE | Advances Information System Engineering, Springer |
243 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
244 | Cryptology | IMA | Institute of Mathematics and its Applications International Conference, Springer |
245 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
246 | Hardware | ATS | Asian Test Symposium, IEEE |
247 | Software Engineering | IWPC | International Workshop on Program Comprehension, IEEE |
248 | Computer Networks | NDSS | Network and Distributed System Security Symposium, IEEE |
249 | Theoretical Computer Science | ITICSE | Annual Joint Conference Integrating Technology into Computer Science Education, ACM |
250 | Artificial Intelligence | EPIA | Portuguese Conference on Artificial Intelligence, Springer |
251 | Formal Methods | FORTE | Formal Techniques for Networked and Distributed Systems, |
252 | Database | IDEAS | International Database Engineering and Applications Symposium, IEEE |
253 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
254 | Computer Vision | EMMCVPR | International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, Springer |
255 | Formal Methods | IFL | International Workshop on Implementation of Functional Languages, Springer |
256 | Communications | MA | International Workshop/Symposium on Mobile Agents, Springer |
257 | Distributed And Parallel Computing | PCRCW | International Parallel Computer Routing and Communication Workshop, Springer |
258 | Database | SPIESR | |
259 | Modeling And Simulation | ANSS | Annual Simulation Symposium, IEEE |
260 | Software Engineering | METRICS | IEEE International Symposium on Software Metrics, IEEE |
261 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
262 | Software Engineering | ADAEUROPE | Ada-Europe International Conference on Reliable Software Technologies, Springer |
263 | Digital Library | ADL | Forum on Advances in Digital Libraries, Springer |
264 | Algorithms | CIAC | Italian Conference on Algorithms and Complexity, Springer |
265 | Multimedia | ECMAST | Multimedia Applications, Springer |
266 | Education | ERCIMDL | European Conference on Research and Advanced Technology for Digital Libraries, Springer |
267 | Machine Learning | EWLR | European Workshop on Learning Robots, Springer |
268 | Software Engineering | ICFEM | International Conference on Formal Engineering Methods, Springer |
269 | Distributed And Parallel Computing | ISHPC | International Symposium on High Performance Computing, Springer |
270 | Data Mining | DMKD | Data Mining And Knowledge Discovery, ACM |
271 | Biometrics | GCB | German Conference on Bioinformatics, Springer |
272 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
273 | Theoretical Computer Science | RANDOM | International Workshop on Randomization and Approximation Techniques in Computer Science, Springer |
274 | Distributed And Parallel Computing | EDOC | IEEE International Enterprise Distributed Object Computing Conference, IEEE |
275 | Distributed And Parallel Computing | IEEEPACT | International Conference on Parallel Architectures and Compilation Techniques, IEEE |
276 | Algorithms | AAECC | Int. Conference/Symposium on Applied Algebra, Springer |
277 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
278 | Human Computer Interaction | BCSHCI | British Computer Society Conference on Human-Computer Interaction, |
279 | Programming Languages | HIPS | International Workshop on High-Level Parallel Programming Models and Supportive Environments, IEEE |
280 | Computer Networks | LCN | Annual IEEE Conference on Local Computer Networks, IEEE |
281 | Embedded Systems | RTCSA | Real-Time and Embedded Computer Systems and Applications, IEEE |
282 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
283 | Database | CDB | Constraint Databases and Applications, Springer |
284 | Machine Learning | EUROCOLT | European Conference on Computational Learning Theory, Springer |
285 | Distributed And Parallel Computing | IRREGULAR | International Workshop/Symposium on Parallel Algorithms for Irregularly Structured Problems, Springer |
286 | Artificial Intelligence | TABLEAUX | International Workshop/Conference on Analytic Tableaux and Related Methods, Springer |
287 | Natural Language Processing | UML | International Workshop/Conference on the Unified Modeling Language, Springer |
288 | Formal Methods | ZUM | International Conference of Z Users, Springer |
289 | Distributed And Parallel Computing | PARCO | |
290 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
291 | Information Technology | ELPUB | Openness in Digital Publishing: Awareness, ACM |
292 | Information Technology | KES | Knowledge-Based Intelligent Information and Engineering Systems, Springer |
293 | Artificial Intelligence | LFCS | Logical Foundations of Computer Science, Springer |
294 | Programming Languages | ALC | |
295 | Computer Animation | CA | Computer Animation, IEEE |
296 | Database | DASFAA | International Conference on Database Systems for Advanced Applications, IEEE |
297 | Artificial Intelligence | ICAIL | International Conference on Artificial Intelligence and Law, ACM |
298 | Mathematics | AFPAC | International Workshop on Algebraic Frames for the Perception-Action Cycle, Springer |
299 | Artificial Intelligence | AISB | Evolutionary Computing, Springer |
300 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
301 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
302 | Algorithms | ESA | European Symposium on Algorithms, Springer |
303 | Applied Computing | FCT | Fundamentals of Computation Theory, Springer |
304 | Distributed And Parallel Computing | PACT | International Conference on Parallel Computing Technologies, Springer |
305 | Hardware | SDL | International SDL Forum, |
306 | Database | SEBD | |
307 | Software Engineering | CSMR | European Conference on Software Maintenance and Reengineering, IEEE |
308 | Theoretical Computer Science | SCCC | International Conference of the Chilean Computer Science Society, IEEE |
309 | Software Engineering | BTLAB | Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, Springer |
310 | Human Computer Interaction | DSVIS | Design, Springer |
311 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
312 | Computer Graphics | GREC | International Workshop on Graphics Recognition, Springer |
313 | Information Technology | NGITS | International Workshop on Next Generation Information Technologies and Systems, Springer |
314 | Theoretical Computer Science | SOFSEM | Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer |
315 | Artificial Intelligence | WLP | International Conference on Applications of Declarative Programming and Knowledge Management, Springer |
316 | Computer Networks | ATMN | |
317 | Computational Geometry | CCCG | |
318 | Hardware | ISMVL | IEEE International Symposium on Multiple-Valued Logic, IEEE |
319 | Programming Languages | CTCS | Category Theory and Computer Programming, Springer |
320 | Computer Networks | BNT | |
321 | Distributed And Parallel Computing | EUROPDS | |
322 | Distributed And Parallel Computing | OPODIS | Principles of Distributed Systems, |
323 | Security Privacy | SEC | IEEE International Symposium on Embedded Computing, |
324 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
325 | Hardware | EUROCAST | European/International Workshop on Computer Aided Systems Theory, Springer |
326 | Biometrics | GW | International Gesture Workshop, Springer |
327 | Programming Languages | JMLC | Joint Modular Languages Conference, Springer |
328 | Automated Reasoning | LPNMR | Logic Programming and Nonmonotonic Reasoning, Springer |
329 | Database | ARTDB | Active, Springer |
330 | Document Analysis | BSDIA | Advances in Document Image Analysis, Springer |
331 | Distributed And Parallel Computing | COORDINATION | International Conference on Coordination Languages and Models, Springer |
332 | Programming Languages | PLILP | International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer |
333 | Database | DS | |
334 | Theoretical Computer Science | ACSE | Australasian Conference on Computer Science Education, ACM |
335 | Information Technology | SIGUCCS | User Services Conference, ACM |
336 | Multimedia | COST | Multimedia Transport and Teleservices, Springer |
337 | Applied Computing | LSSC | Large-Scale Scientific Computing, Springer |
338 | Artificial Intelligence | WIA | International Workshop on Implementing Automata, Springer |
339 | Knowledge Management | BDA | |
340 | Database | DBSEC | |
341 | Information Technology | SIROCCO | Structural Information and Communication Complexity, |
342 | Artificial Intelligence | AIIA | Trends in Artificial Intelligence, Springer |
343 | Intelligent Agents | CIA | International Workshop on Cooperative Information Agents, Springer |
344 | Automated Reasoning | ILP | International Workshop/Conference on Inductive Logic Programming, Springer |
345 | Distributed And Parallel Computing | ISCOPE | International Scientific Computing in Object-Oriented Parallel Environments Conference, Springer |
346 | Applied Computing | BCEC | |
347 | Database | DEDUCTIVE | |
348 | Database | KRDB | |
349 | Security Privacy | ACSAC | Advances in Computer Systems Architecture, IEEE |
350 | Distributed And Parallel Computing | HCW | Heterogeneous Computing Workshop, IEEE |
351 | Database | RULES | International Workshop on Rules in Database Systems, Springer |
352 | Automated Reasoning | LACL | International Conference on Logical Aspects of Computational Linguistics, Springer |
353 | Database | BNCOD | British National Conference on Databases, |
354 | Multimedia | MMNS | IFIP/IEEE International Conference on Management of Multimedia Networks and Services, |
355 | Artificial Intelligence | SCAI | |
356 | Computer Animation | SIMVIS | |
357 | Database | SSDBM | International Conference on Statistical and Scientific Database Management, IEEE |
358 | Theoretical Computer Science | GG | International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, Springer |
359 | Formal Methods | MODELAGE | Formal Models of Agents, Springer |
360 | Programming Languages | SIGADA | Annual International Conference on Ada, Springer |
361 | Robotics | AMS | Asia International Conference on Modelling & Simulation, Springer |
362 | Database | BTW | Sprachen f?r Datenbanken, Springer |
363 | Education | PATAT | International Conference on the Practice and Theory of Automated Timetabling, Springer |
364 | Applied Computing | WWCA | International Conference on Worldwide Computing and Its Applications, Springer |
365 | Algorithms | ASIAN | Algorithms, Springer |
366 | Automated Reasoning | GIS | International Conference on Geographic Information Systems, ACM |
367 | Formal Methods | FBT | |
368 | Communications | FIW | |
369 | Natural Language Processing | GLDV | |
370 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
371 | Theoretical Computer Science | RELMICS | International Seminar on the Use of Relational Methods in Computer Science, Springer |
372 | Information Technology | SCHULE | Informatik als Herausforderung an Schule und Ausbildung, Springer |
373 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
374 | Computer Networks | HPN | |
375 | Knowledge Management | INFORSID | |
376 | Logical Reasoning | LPE | |
377 | Discrete Geometry | DGCI | International Workshop on Discrete Geometry for Computer Imagery, Springer |
378 | Intelligent Agents | MAAMAW | European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer |
379 | Communications | MMB | GI/ITG Conference on Measuring, Springer |
380 | Software Engineering | RTSE | International Workshop on Requirements Targeting Software and Systems Engineering, |
381 | Software Engineering | CRIWG | International Workshop on Groupware, |
382 | Theoretical Computer Science | DLT | |
383 | Software Engineering | JISBD | |
384 | Modeling And Simulation | MASCOTS | Performance Tools and Applications to Networked Systems, |
385 | Information Technology | TC | |
386 | Control Systems | WSS | International Workshop on Self-Stabilizing Systems, |
387 | Data Mining | PKDD | European Symposium/Conference on Principles of Data Mining and Knowledge Discovery, Springer |
388 | Hardware | CHARME | Correct Hardware Design and Verification Methods, Springer |
389 | Information Technology | IQ | |
390 | Operating System | USENIX | |
391 | Artificial Intelligence | XPS | German Conference on Knowledge-Based Systems, |
392 | Neural Networks | SBRN | Brazilian Symposium on Neural Networks, IEEE |
393 | Software Engineering | SEE | International Conference on Software Engineering Environments, Springer |
394 | Software Engineering | WADT | International Workshop on Algebraic Development Techniques, Springer |
Copyright © Sciweavers LLC, 2009-2024, USA.