id | subject | acronym | title |
---|---|---|---|
1 | Artificial Intelligence | IJCAI | |
2 | Robotics | ICRA | International Conference on Robotics and Automation, IEEE |
3 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
4 | Computational Biology | ISMB | |
5 | Natural Language Processing | EACL | European Chapter of the Association for Computational Linguistics, ACL Anthology |
6 | Hardware | ISCAS | International Symposium on Circuits and Systems, IEEE |
7 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
8 | Natural Language Processing | MUC | Message Understanding Conference, |
9 | Intelligent Agents | AAAI | |
10 | Operating System | LISA | |
11 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
12 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
13 | Information Technology | NIPS | |
14 | Operating System | USENIX | |
15 | Applied Computing | ARITH | IEEE Symposium on Computer Arithmetic, IEEE |
16 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
17 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
18 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
19 | Information Technology | ICCI | International Conference on Computing and Information, |
20 | Programming Languages | IFIP | International Workshop, Springer |
21 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
22 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
23 | Database | SIGMOD | International Conference on Management of Data, ACM |
24 | Multimedia | MM | International Multimedia Conference, ACM |
25 | Optimization | ICGA | |
26 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
27 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
28 | Software Engineering | ECSCW | |
29 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
30 | Artificial Intelligence | UAI | |
31 | Virtual Reality | VR | IEEE Virtual Reality Conference, IEEE |
32 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
33 | Applied Computing | SC | International Workshop on Structural Computing, ACM |
34 | Database | ICDE | International Conference on Data Engineering, IEEE |
35 | Operating System | SOSP | ACM Symposium on Operating Systems Principles, ACM |
36 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
37 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
38 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
39 | Software Engineering | IUI | International Conference on Intelligent User Interfaces, ACM |
40 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
41 | Internet Technology | HT | Conference on Hypertext and Hypermedia, ACM |
42 | Theoretical Computer Science | TLCA | International Conference on Typed Lambda Calculi and Applications, Springer |
43 | Operating System | HOTOS | Workshop on Hot Topics in Operating Systems, IEEE |
44 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
45 | Hardware | ICCD | International Conference on Computer Design, IEEE |
46 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
47 | Logical Reasoning | REX | Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems), |
48 | Artificial Intelligence | ICTAI | IEEE International Conference on Tools with Artificial Intelligence, IEEE |
49 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
50 | Distributed And Parallel Computing | SPDP | IEEE Symposium on Parallel and Distributed Processing, IEEE |
51 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
52 | Database | PODS | Symposium on Principles of Database Systems, ACM |
53 | Computational Geometry | CCCG | |
54 | Distributed And Parallel Computing | PPSC | |
55 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
56 | Database | DBPL | International Workshop on Database Programming Languages, Springer |
57 | Applied Computing | ISTCS | Israel Symposium on Theory of Computing and Systems, Springer |
58 | Distributed And Parallel Computing | PPOPP | Principles and Practice of Parallel Programming, ACM |
59 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
60 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
61 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
62 | Automated Reasoning | ICLP | International Conference on Logic Programming, Springer |
63 | Distributed And Parallel Computing | PDIS | International Conference Parallel and Distributed Information Systems, IEEE |
64 | Applied Computing | GROUP | Conference on Supporting Group Work, ACM |
65 | Programming Languages | HOPL | History of Programming Languages, |
66 | Formal Methods | IMPERIAL | Theory and Formal Methods, |
67 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
68 | Robotics | ISER | International Symposium on Experimental Robotics, Springer |
69 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
70 | Hardware | ITC | International Teletra c Congress, IEEE |
71 | Security Privacy | CCS | Conference on Computer and Communications Security, ACM |
72 | Hardware | DISCO | Design and Implementation of Symbolic Computation Systems, |
73 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
74 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
75 | Artificial Intelligence | IAAI | |
76 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
77 | Information Technology | CIKM | Conference on Information and Knowledge Management, Springer |
78 | Logical Reasoning | ELP | International Workshop on Extensions of Logic Programming, |
79 | Intelligent Agents | MAAMAW | European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer |
80 | Machine Learning | ECML | European Working Session on Learning, Springer |
81 | Distributed And Parallel Computing | PARLE | International Conference on Parallel Architectures and Languages Europe, |
82 | Education | CASCON | |
83 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
84 | Computer Networks | NOSSDAV | International Workshop on Network and Operating System Support for Digital Audio and Video, Springer |
85 | VLSI | DFT | IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE |
86 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
87 | Formal Methods | TYPES | International Workshop on Types for Proofs and Programs, Springer |
88 | Algorithms | WADS | Workshop on Algorithms and Data Structures, Springer |
89 | Software Engineering | APL | International Conference on APL, ACM |
90 | Image Analysis | CAIP | Computer Analysis of Images and Patterns, Springer |
91 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
92 | Programming Languages | PLILP | International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer |
93 | Theoretical Computer Science | RTA | International Conference on Rewriting Techniques and Applications, Springer |
94 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
95 | Information Technology | ECIS | |
96 | Computer Graphics | DCC | Data Compression Conference, IEEE |
97 | Database | SSD | International Symposium on Spatial Databases, Springer |
98 | Database | DASFAA | International Conference on Database Systems for Advanced Applications, IEEE |
99 | Software Engineering | ICSM | IEEE International Conference on Software Maintenance, IEEE |
100 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
101 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
102 | Programming Languages | PPCP | International Workshop on Principles and Practice of Constraint Programming (preceding the CP Conf.), |
103 | Information Technology | ICIS | International Conference on Information Systems, |
104 | Optimization | IPCO | International Conference on Integer Programming and Combinatorial Optimization, |
105 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
106 | Cryptology | FIWAC | French-Soviet Workshop on Algebraic Coding, |
107 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
108 | Solid Modeling | SMA | International Conference on Shape Modeling and Applications, ACM |
109 | Natural Language Processing | SOSL | International Workshop on Semantics of Specification Languages, |
110 | Neural Networks | IWANN | International Workshop/Work-Conference on Artificial and Natural Neural Networks, Springer |
111 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
112 | VLSI | VLSID | International Conference on VLSI Design, IEEE |
113 | Software Engineering | AMAST | International Conference on Algebraic Methodology and Software Technology, Springer |
114 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
115 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
116 | Software Engineering | DAGSTUHL | Scientific Visualization Conference, |
117 | Internet Technology | EAMT | Machine Translation and the Lexicon, |
118 | Software Engineering | ISOTAS | International Symposium on Object Technologies for Advanced Software, |
119 | Artificial Intelligence | OGAI | ?sterreichische Artificial Intelligence-Tagung, |
120 | Software Engineering | SIGSOFT | Foundations of Software Engineering, ACM |
121 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
122 | Software Engineering | ESEC | European Software Engineering Conference, Springer |
123 | Human Computer Interaction | EWHCI | International Conference on Human-Computer Interaction, |
124 | Theoretical Computer Science | HOA | International Workshop on Higher-Order Algebra, |
125 | Artificial Intelligence | EPIA | Portuguese Conference on Artificial Intelligence, Springer |
126 | Algorithms | ESA | European Symposium on Algorithms, Springer |
127 | Cryptology | FSE | International Workshop on Fast Software Encryption, Springer |
128 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
129 | Software Engineering | SEKE | International Conference on Software Engineering and Knowledge Engineering, Springer |
130 | Human Computer Interaction | VCHCI | Vienna Conference on Human Computer Interaction, |
131 | Programming Languages | TOOLS | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
132 | Theoretical Computer Science | ACM | ACM Annual Conference, |
133 | Automated Reasoning | EWCBR | European Workshop on Topics in Case-Based Reasoning, Springer |
134 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
135 | Algorithms | FODO | International Conference on Foundations of Data Organization and Algorithms, Springer |
136 | Fuzzy Logic | RSCTC | International Conference on Rough Sets and Current Trends in Computing, Springer |
137 | Software Engineering | AADEBUG | International Workshop on Automated and Algorithmic Debugging, Springer |
138 | Software Engineering | AC | Agent Communication, Springer |
139 | Database | DOOD | International Conference on Deductive and Object-Oriented Databases, Springer |
140 | Natural Language Processing | IR | Textverarbeitung und Informatik, |
141 | Programming Languages | MCMASTER | Functional Programming, |
142 | Programming Languages | NATO | Advanced Study Institute on Deductive Program Design, |
143 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
144 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
145 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
146 | Automated Reasoning | KGC | Kurt Godel Colloquium, Springer |
147 | Programming Languages | SIGADA | Annual International Conference on Ada, Springer |
148 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
149 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
150 | Modeling And Simulation | WSC | Winter Simulation Conference, |
151 | Hardware | ISMVL | IEEE International Symposium on Multiple-Valued Logic, IEEE |
152 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
153 | Database | BTW | Sprachen f?r Datenbanken, Springer |
154 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
155 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
156 | Hardware | PSTV | |
157 | Software Engineering | ISPW | International Software Process Workshop, IEEE |
158 | Information Technology | GESELLSCHAFT | Arbeit und Informationstechnik, |
159 | Automated Reasoning | LPNMR | Logic Programming and Nonmonotonic Reasoning, Springer |
160 | Programming Languages | SIEMENS | Programierumgebungen: Entwicklungswerkzeuge und Programmiersprachen, |
161 | Security Privacy | SEC | IEEE International Symposium on Embedded Computing, |
162 | Artificial Intelligence | AGP | Italian Conference on Logic Programming, IEEE |
163 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
164 | GIS | COSIT | Spatial Information Theory: A Theoretical Basis for GIS, Springer |
165 | Theoretical Computer Science | ERSHOV | International Sympoisum on Theoretical Programming, Springer |
166 | Database | HPTS | International Workshop on High Performance Transaction Systems, |
167 | Database | RULES | International Workshop on Rules in Database Systems, Springer |
168 | Information Technology | SIGUCCS | User Services Conference, ACM |
169 | Artificial Intelligence | MI | |
170 | Algorithms | AAECC | Int. Conference/Symposium on Applied Algebra, Springer |
171 | Hardware | CHARME | Correct Hardware Design and Verification Methods, Springer |
172 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
173 | Natural Language Processing | EWNLG | European Workshop on Trends in Natural Language Generation, |
174 | Programming Languages | FPCA | Conference on Functional Programming Languages and Computer Architecture, |
175 | Medical Imaging | IPMI | Information Processing in Medical Imaging, Springer |
176 | Hardware | CHDL | |
177 | Information Technology | COOPIS | IFCIS International Conference on Cooperative Information Systems, IEEE |
178 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
179 | Applied Computing | FCT | Fundamentals of Computation Theory, Springer |
180 | Natural Language Processing | LNCS | Text Understanding in LILOG, |
181 | Artificial Intelligence | SCAI | |
182 | Database | SPIESR | |
183 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
184 | Software Engineering | WCRE | Working Conference on Reverse Engineering, IEEE |
185 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
186 | Software Engineering | TAPSOFT | International Joint Conference on Theory and Practice of Software Development, Springer |
187 | Information Technology | AIPT | |
188 | Distributed And Parallel Computing | ODP | |
189 | Computer Vision | AICV | Joint European-US Workshop on Applications of Invariance in Computer Vision, |
190 | Information Technology | CISMOD | Information Systems and Data Management, |
191 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
192 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
193 | Hardware | PTS | |
194 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
195 | Information Technology | CAISE | Advances Information System Engineering, Springer |
196 | Image Processing | DAGM | Digital Bildverarbeitung - Digital Image Processing, Springer |
197 | Communications | ITA | Canadian Workshop on Information Theory and Applications, |
198 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
199 | Programming Languages | MFPS | International Conference on Mathematical Foundations of Programming Semantics, |
200 | Operating System | MACH | |
201 | Information Technology | TREC | Trends in Distributed Systems for Electronic Commerce, |
202 | Software Engineering | IWSSD | International Workshop on Software Specifications & Design, IEEE |
203 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
204 | Artificial Intelligence | AIED | Music Education: An Artificial Intelligence Approach, Springer |
205 | Hardware | HSAFT | Hardware and Software Architectures for Fault Tolerance, |
206 | Software Engineering | ISSTA | International Symposium on Software Testing and Analysis, ACM |
207 | Information Technology | NGITS | International Workshop on Next Generation Information Technologies and Systems, Springer |
208 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
209 | Artificial Intelligence | WLP | International Conference on Applications of Declarative Programming and Knowledge Management, Springer |
210 | Computer Networks | IM | |
211 | Modeling And Simulation | MASCOTS | Performance Tools and Applications to Networked Systems, |
212 | Database | ADC | Agile Development Conference/Australasian Database Conference, Springer |
213 | GIS | CISM | Algorithmic Foundations of Geographic Information Systems, |
214 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
215 | Discrete Geometry | GM | Geometric Modelling, Springer |
216 | Artificial Intelligence | ISMIS | International Symposium on Methodologies for Intelligent Systems, Springer |
217 | Database | DEDUCTIVE | |
218 | Human Computer Interaction | HCI | Human-Computer Interaction, |
219 | Database | DBVIS | database Issues for Data Visualization, |
220 | Distributed And Parallel Computing | ECOOPW | Object-Based Concurrent Computing, Springer |
221 | Automated Reasoning | ECSQARU | European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Springer |
222 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
223 | Database | FMLDO | International Workshop on Foundations of Models and Languages for Data and Objects, Springer |
224 | Software Engineering | RE | IEEE International Conference on Requirements Engineering, Springer |
225 | Computer Networks | ATMN | |
226 | Mathematics | FRACTALS | |
227 | Computer Networks | NETWORKING | International Conference on Research in Networking, |
228 | Database | SEBD | |
229 | Cryptology | ECCSP | Error Control, |
230 | Automated Reasoning | LPAR | Logic for Programming, Springer |
231 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
232 | Knowledge Management | BDA | |
233 | Theoretical Computer Science | DLT | |
234 | Information Technology | IFIP8 | |
235 | Hardware | MSS | IEEE Symposium on Mass Storage Systems, IEEE |
236 | Formal Methods | FORTE | Formal Techniques for Networked and Distributed Systems, |
237 | Education | TELETEACHING |
Copyright © Sciweavers LLC, 2009-2024, USA.