id | subject | acronym | title |
---|---|---|---|
1 | Image Processing | ICIP | International Conference on Image Processing, IEEE |
2 | Computer Vision | ICCV | IEEE International Conference on Computer Vision, IEEE |
3 | Data Mining | KDD | International Conference on Knowledge Discovery and Data Mining, ACM |
4 | Database | ICDE | International Conference on Data Engineering, IEEE |
5 | Machine Learning | ICML | Workshop on Statistical Network Analysis, IEEE |
6 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
7 | Robotics | ICRA | International Conference on Robotics and Automation, IEEE |
8 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
9 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
10 | VHDL | EURODAC | European Design Automation Conference, IEEE |
11 | Hardware | ISCAS | International Symposium on Circuits and Systems, IEEE |
12 | Applied Computing | SC | International Workshop on Structural Computing, ACM |
13 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
14 | Computer Networks | ICNP | IEEE International Conference on Network Protocols, IEEE |
15 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
16 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
17 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
18 | Biometrics | HICSS | Hawaii International Conference on System Sciences, IEEE |
19 | Hardware | ASPDAC | Asia and South Pacific Design Automation Conference, ACM |
20 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
21 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
22 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
23 | Document Analysis | ICDAR | International Conference on Document Analysis and Recognition, IEEE |
24 | FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
25 | Hardware | ISSS | International Symposium on Software Security, IEEE |
26 | Hardware | ISLPED | International Symposium on Low Power Electronics and Design, ACM |
27 | Natural Language Processing | MUC | Message Understanding Conference, |
28 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
29 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
30 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
31 | Computer Networks | COMPCON | IEEE International Computer Conference, IEEE |
32 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
33 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
34 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
35 | Automated Reasoning | ICLP | International Conference on Logic Programming, Springer |
36 | Applied Computing | ARITH | IEEE Symposium on Computer Arithmetic, IEEE |
37 | Multimedia | MM | International Multimedia Conference, ACM |
38 | VLSI | ARVLSI | Conference on Advanced Research in VLSI, IEEE |
39 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
40 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
41 | Database | SIGMOD | International Conference on Management of Data, ACM |
42 | Programming Languages | FPCA | Conference on Functional Programming Languages and Computer Architecture, |
43 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
44 | Distributed And Parallel Computing | HPCN | International Conference on High-Performance Computing and Networking, Springer |
45 | Image Analysis | CAIP | Computer Analysis of Images and Patterns, Springer |
46 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
47 | Solid Modeling | SMA | International Conference on Shape Modeling and Applications, ACM |
48 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
49 | Computer Graphics | SI3D | Symposium on Interactive 3D Graphics, ACM |
50 | Computer Animation | CA | Computer Animation, IEEE |
51 | Hardware | ITC | International Teletra c Congress, IEEE |
52 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
53 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
54 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
55 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
56 | Algorithms | WADS | Workshop on Algorithms and Data Structures, Springer |
57 | Computer Graphics | DCC | Data Compression Conference, IEEE |
58 | Digital Library | DL | Digital Libraries: Current Issues, Springer |
59 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
60 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
61 | Intelligent Agents | ATAL | Intelligent Agents II, Springer |
62 | Information Technology | CIKM | Conference on Information and Knowledge Management, Springer |
63 | Artificial Intelligence | ECAL | European Conference on Artificial Life, Springer |
64 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
65 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
66 | Computer Graphics | RT | Rich Transcription Workshop, Springer |
67 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
68 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
69 | Hardware | VTS | IEEE VLSI Test Symposium, IEEE |
70 | Computer Vision | CVRMED | International Conference on Computer Vision, Springer |
71 | Robotics | ISER | International Symposium on Experimental Robotics, Springer |
72 | Algorithms | ESA | European Symposium on Algorithms, Springer |
73 | Multimedia | ICMCS | International Conference on Multimedia Computing and Systems, IEEE |
74 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
75 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
76 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
77 | Theoretical Computer Science | ACM | ACM Annual Conference, |
78 | Artificial Intelligence | EPIA | Portuguese Conference on Artificial Intelligence, Springer |
79 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
80 | Artificial Intelligence | AIIA | Trends in Artificial Intelligence, Springer |
81 | Computer Graphics | GD | Graph Drawing, Springer |
82 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
83 | Control Systems | HYBRID | Hybrid Systems, Springer |
84 | Hardware | ICCD | International Conference on Computer Design, IEEE |
85 | Hardware | ICECCS | IEEE International Conference on Engineering of Complex Computer Systems, IEEE |
86 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
87 | VLSI | VLSID | International Conference on VLSI Design, IEEE |
88 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
89 | Communications | ISN | International Conference on Intelligence in Services and Networks, Springer |
90 | Embedded Systems | RTAS | IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE |
91 | GIS | COSIT | Spatial Information Theory: A Theoretical Basis for GIS, Springer |
92 | Artificial Intelligence | CP | Principles and Practice of Constraint Programming, Springer |
93 | Theoretical Computer Science | RTA | International Conference on Rewriting Techniques and Applications, Springer |
94 | Communications | ICCCN | International Conference on Computer Communications and Networks, IEEE |
95 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
96 | Software Engineering | EWSPT | European Workshop on Software Process Technology, Springer |
97 | Distributed And Parallel Computing | HPCA | High Performance Computing and Applications, IEEE |
98 | Programming Languages | PLILP | International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer |
99 | Internet Technology | VRML | Virtual Reality Modeling Language Symposium, ACM |
100 | Neural Networks | ANNES | New Zealand Conference Artificial Neural Networks and Expert Systems, |
101 | Computer Networks | NOSSDAV | International Workshop on Network and Operating System Support for Digital Audio and Video, Springer |
102 | Applied Computing | FCT | Fundamentals of Computation Theory, Springer |
103 | Programming Languages | FPLE | International Symposium on Functional Programming Languages in Education, |
104 | Automated Reasoning | GIS | International Conference on Geographic Information Systems, ACM |
105 | Image Processing | ICIAP | International Conference on Image Analysis and Processing, ACM |
106 | Information Technology | NGITS | International Workshop on Next Generation Information Technologies and Systems, Springer |
107 | Distributed And Parallel Computing | PPOPP | Principles and Practice of Parallel Programming, ACM |
108 | Emerging Technology | WETICE | IEEE International Workshops on Enabling Technologies, IEEE |
109 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
110 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
111 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
112 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
113 | Database | DOOD | International Conference on Deductive and Object-Oriented Databases, Springer |
114 | Artificial Intelligence | EPS | International Conference on Evolutionary Programming, Springer |
115 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
116 | Database | PODS | Symposium on Principles of Database Systems, ACM |
117 | Visualization | VVS | Symposium on Volume Visualization and Graphics, IEEE |
118 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
119 | Software Engineering | APSEC | Asia-Pacific Software Engineering Conference, IEEE |
120 | Theoretical Computer Science | ETD2000 | Electronic Technology Directions to the Year 2000, |
121 | Image Analysis | ICSC | International Computer Science Conference, Springer |
122 | Cryptology | IMA | Institute of Mathematics and its Applications International Conference, Springer |
123 | Neural Networks | IWANN | International Workshop/Work-Conference on Artificial and Natural Neural Networks, Springer |
124 | Hardware | IWMM | International Workshop on Memory Management, Springer |
125 | Distributed And Parallel Computing | JSSPP | Workshop on Job Scheduling Strategies for Parallel Processing, Springer |
126 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
127 | Software Engineering | WCRE | Working Conference on Reverse Engineering, IEEE |
128 | Database | ADBIS | Advances in Databases and Information Systems, Springer |
129 | Software Engineering | AMAST | International Conference on Algebraic Methodology and Software Technology, Springer |
130 | VLSI | GLVLSI | Great Lakes Symposium on VLSI, IEEE |
131 | Visualization | INFOVIS | IEEE Symposium on Information Visualization, IEEE |
132 | Machine Learning | ECML | European Working Session on Learning, Springer |
133 | Artificial Intelligence | IEAAIE | Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer |
134 | Mathematics | MPC | International Conference on Mathematics of Program Construction, Springer |
135 | Algorithms | TACAS | Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer |
136 | Machine Learning | EUROCOLT | European Conference on Computational Learning Theory, Springer |
137 | Software Engineering | KBSE | Knowledge-Based Software Engineering Conference, IEEE |
138 | System Software | LCTRTS | Languages, Springer |
139 | Hardware | MSS | IEEE Symposium on Mass Storage Systems, IEEE |
140 | Education | PATAT | International Conference on the Practice and Theory of Automated Timetabling, Springer |
141 | Embedded Systems | RTCSA | Real-Time and Embedded Computer Systems and Applications, IEEE |
142 | Automated Reasoning | UKCBR | United Kingdom Workshop on Case-Based Reasoning, |
143 | Database | DEXAW | International Workshop on Database and Expert Systems Applications, IEEE |
144 | Software Engineering | ESEC | European Software Engineering Conference, Springer |
145 | Automated Reasoning | ICCBR | International Conference on Case-Based Reasoning, Springer |
146 | Applied Computing | PARA | International Workshop on Applied Parallel Computing, Springer |
147 | Automated Reasoning | RUR | International Workshop on Reasoning with Uncertainty in Robotics, |
148 | Combinatorics | COCOON | International Conference on Computing and Combinatorics, Springer |
149 | Database | DBPL | International Workshop on Database Programming Languages, Springer |
150 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
151 | Combinatorics | COCOC | Combinatorics and Computer Science, |
152 | Applied Computing | ISTCS | Israel Symposium on Theory of Computing and Systems, Springer |
153 | Software Engineering | KORSO | Methods, |
154 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
155 | Software Engineering | RE | IEEE International Conference on Requirements Engineering, Springer |
156 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
157 | Software Engineering | AADEBUG | International Workshop on Automated and Algorithmic Debugging, Springer |
158 | Artificial Intelligence | AGP | Italian Conference on Logic Programming, IEEE |
159 | Distributed And Parallel Computing | BANFF | Logics for Concurrency - Structure versus Automata, |
160 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
161 | Hardware | FPL | International Workshop/Conference on Field-Programmable Logic and Applications, Springer |
162 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
163 | Software Engineering | SIGSOFT | Foundations of Software Engineering, ACM |
164 | Information Technology | CAISE | Advances Information System Engineering, Springer |
165 | Database | ICDT | International Conference on Database Theory, ACM |
166 | Computer Networks | LCN | Annual IEEE Conference on Local Computer Networks, IEEE |
167 | Automated Reasoning | LPNMR | Logic Programming and Nonmonotonic Reasoning, Springer |
168 | Information Technology | SCHULE | Informatik als Herausforderung an Schule und Ausbildung, Springer |
169 | Database | SSD | International Symposium on Spatial Databases, Springer |
170 | Theoretical Computer Science | TLCA | International Conference on Typed Lambda Calculi and Applications, Springer |
171 | Visualization | VIS | IEEE Visualization, IEEE |
172 | Database | ADC | Agile Development Conference/Australasian Database Conference, Springer |
173 | Artificial Intelligence | ICAIL | International Conference on Artificial Intelligence and Law, ACM |
174 | Software Engineering | ICSM | IEEE International Conference on Software Maintenance, IEEE |
175 | Software Engineering | TAPSOFT | International Joint Conference on Theory and Practice of Software Development, Springer |
176 | Neural Networks | ANN | Artificial Neural Networks: An Introduction to ANN Theory and Practice, |
177 | Hardware | ASAP | Architectures and Processors Application-Specific Systems, IEEE |
178 | Image Processing | DAGM | Digital Bildverarbeitung - Digital Image Processing, Springer |
179 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
180 | Information Technology | IMCIM | Information Management in Computer Integrated Manufacturing: A Comprehensive Guide to State-of-the-Art CIM Solutions, |
181 | Database | SDB | Semantics in Databases, |
182 | Artificial Intelligence | TABLEAUX | International Workshop/Conference on Analytic Tableaux and Related Methods, Springer |
183 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
184 | Medical Imaging | CBMS | IEEE Symposium on Computer-Based Medical Systems, IEEE |
185 | Database | DASFAA | International Conference on Database Systems for Advanced Applications, IEEE |
186 | Human Computer Interaction | DSVIS | Design, Springer |
187 | Automated Reasoning | ECSQARU | European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer |
188 | Algorithms | AAECC | Int. Conference/Symposium on Applied Algebra, Springer |
189 | Formal Methods | AFP | International School on Advanced Functional Programming, Springer |
190 | Artificial Intelligence | AISB | Evolutionary Computing, Springer |
191 | Modeling And Simulation | ANSS | Annual Simulation Symposium, IEEE |
192 | Artificial Intelligence | DAI | Distributed Artificial Intelligence: Architecture and Modelling Workshop, Springer |
193 | Knowledge Management | GOSLER | Algorithmic Learning for Knowledge-Based Systems, |
194 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
195 | Communications | MOBICOM | International Conference on Mobile Computing and Networking, ACM |
196 | Distributed And Parallel Computing | PDP | Distributed Parallel, IEEE |
197 | Distributed And Parallel Computing | PSLS | International Workshop on Parallel Symbolic Languages and Systems, |
198 | Software Engineering | SEKE | International Conference on Software Engineering and Knowledge Engineering, Springer |
199 | Computer Vision | ACCV | Asian Conference on Computer Vision, Springer |
200 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
201 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
202 | Database | DBVIS | database Issues for Data Visualization, |
203 | Distributed And Parallel Computing | EUROPAR | International Euro-Par Conference, Springer |
204 | Human Computer Interaction | EWHCI | International Conference on Human-Computer Interaction, |
205 | Formal Methods | FP | Functional Programming, |
206 | Information Technology | LATIN | Latin American Symposium on Theoretical Informatics, Springer |
207 | Digital Library | ADL | Forum on Advances in Digital Libraries, Springer |
208 | Database | BTW | Sprachen f?r Datenbanken, Springer |
209 | Hardware | CHARME | Correct Hardware Design and Verification Methods, Springer |
210 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
211 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
212 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
213 | Artificial Intelligence | AE | European Conference on Artificial Evolution, Springer |
214 | Artificial Intelligence | AIME | Conference on Artificial Intelligence in Medicine in Europe, Springer |
215 | Software Engineering | APL | International Conference on APL, ACM |
216 | VLSI | FCCM | Annual IEEE Symposium on Field-Programmable Custom Computing Machines, IEEE |
217 | Distributed And Parallel Computing | FTDCS | IEEE International Workshop Future Trends of Distributed Computing Systems, IEEE |
218 | Distributed And Parallel Computing | IRREGULAR | International Workshop/Symposium on Parallel Algorithms for Irregularly Structured Problems, Springer |
219 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
220 | Hardware | ASYNC | International Symposium on Asynchronous Circuits and Systems, IEEE |
221 | Programming Languages | COMPASS | Recent Trends in Data Type Specification, |
222 | Database | RULES | International Workshop on Rules in Database Systems, Springer |
223 | Information Technology | SIGUCCS | User Services Conference, ACM |
224 | Formal Methods | TYPES | International Workshop on Types for Proofs and Programs, Springer |
225 | Programming Languages | CTCS | Category Theory and Computer Programming, Springer |
226 | Information Technology | EB | Evolution and Biocomputation, |
227 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
228 | Computer Graphics | GREC | International Workshop on Graphics Recognition, Springer |
229 | Applied Computing | GROUP | Conference on Supporting Group Work, ACM |
230 | Theoretical Computer Science | HOA | International Workshop on Higher-Order Algebra, |
231 | Programming Languages | OOGRAPHICS | Object-Oriented and Mixed Programming Paradigms, |
232 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
233 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
234 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
235 | Robotics | AMS | Asia International Conference on Modelling & Simulation, Springer |
236 | Database | CDB | Constraint Databases and Applications, Springer |
237 | Software Engineering | COMPSAC | Annual International Computer Software and Applications Conference, IEEE |
238 | Information Technology | COOPIS | IFCIS International Conference on Cooperative Information Systems, IEEE |
239 | Artificial Intelligence | SBIA | Brazilian Symposium on Artificial Intelligence, Springer |
240 | Theoretical Computer Science | SOFSEM | Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer |
241 | Formal Methods | ZUM | International Conference of Z Users, Springer |
242 | Algorithms | ASIAN | Algorithms, Springer |
243 | Cryptology | CPA | Cryptography: Policy and Algorithms, |
244 | Automated Reasoning | LOPSTR | Logic Program Synthesis and Transformation, Springer |
245 | Human Computer Interaction | ACMDIS | Designing Interactive Systems: Processes, ACM |
246 | Multimedia | COST | Multimedia Transport and Teleservices, Springer |
247 | Hardware | ICES | International Conference on Evolvable Systems, Springer |
248 | Computer Networks | KIVS | Rechnernetze und Datenfernverarbeitung, Springer |
249 | Theoretical Computer Science | ACMSE | ACM Southeast Regional Conference, ACM |
250 | Hardware | ATS | Asian Test Symposium, IEEE |
Copyright © Sciweavers LLC, 2009-2024, USA.