1 | Computational Linguistics | COLING | |
2 | Computer Vision | ECCV | European Conference on Computer Vision, Springer |
3 | Computer Vision | MVA | |
4 | Natural Language Processing | MUC | Message Understanding Conference, |
5 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
6 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
7 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
8 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
9 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
10 | Intelligent Agents | AAAI | |
11 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
12 | Social Sciences | CSCW | Computer Supported Cooperative Work, ACM |
13 | Cryptology | ASIACRYPT | International Conference on Cryptology, Springer |
14 | Artificial Intelligence | ECAI | Truth Maintenance Systems, Springer |
15 | Artificial Intelligence | IAAI | |
16 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
17 | Programming Languages | ASPLOS | Architectural Support for Programming Languages and Operating Systems, ACM |
18 | Information Technology | NIPS | |
19 | Programming Languages | IFIP | International Workshop, Springer |
20 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
21 | Automated Reasoning | KR | International Conference on Principles and Knowledge Representation and Reasoning, Springer |
22 | Applied Computing | SC | International Workshop on Structural Computing, ACM |
23 | Logical Reasoning | CADE | Automated Deduction, Springer |
24 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
25 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
26 | Computer Graphics | SI3D | Symposium on Interactive 3D Graphics, ACM |
27 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
28 | Automated Reasoning | ICLP | International Conference on Logic Programming, Springer |
29 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
30 | Programming Languages | TOOLS | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
31 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
32 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
33 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
34 | Automated Reasoning | GIS | International Conference on Geographic Information Systems, ACM |
35 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
36 | Algorithms | SWAT | Scandinavian Workshop on Algorithm Theory, Springer |
37 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
38 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
39 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
40 | Artificial Intelligence | LFCS | Logical Foundations of Computer Science, Springer |
41 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
42 | Distributed And Parallel Computing | CONPAR | Conference on Analysing Problem Classes and Programming for Parallel Computing, |
43 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
44 | Hardware | ICCD | International Conference on Computer Design, IEEE |
45 | Database | SIGMOD | International Conference on Management of Data, ACM |
46 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
47 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
48 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
49 | Control Systems | HYBRID | Hybrid Systems, Springer |
50 | Automated Reasoning | META | International Workshop on Meta-Programming in Logic, |
51 | Computer Networks | NOSSDAV | International Workshop on Network and Operating System Support for Digital Audio and Video, Springer |
52 | Distributed And Parallel Computing | PPSN | International Conference on Parallel Problem Solving from Nature, Springer |
53 | Software Engineering | SEKE | International Conference on Software Engineering and Knowledge Engineering, Springer |
54 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
55 | Programming Languages | PLILP | International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer |
56 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
57 | Education | CASCON | |
58 | Internet Technology | ECHT | European Conference on Hypertext Technology, |
59 | Formal Methods | FP | Functional Programming, |
60 | Hardware | IWMM | International Workshop on Memory Management, Springer |
61 | Programming Languages | ESOP | European Symposium on Programming, Springer |
62 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
63 | Operating System | SIGOPSE | SIGOPS European Workshop, ACM |
64 | Modeling And Simulation | WSC | Winter Simulation Conference, |
65 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
66 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
67 | Artificial Intelligence | UAI | |
68 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
69 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
70 | Intelligent Agents | MAAMAW | European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer |
71 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
72 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
73 | Information Technology | WMRD | Workshop on the Management of Replicated Data, |
74 | Information Technology | LATIN | Latin American Symposium on Theoretical Informatics, Springer |
75 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
76 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
77 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
78 | Distributed And Parallel Computing | PARLE | International Conference on Parallel Architectures and Languages Europe, |
79 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
80 | Theoretical Computer Science | ACMSE | ACM Southeast Regional Conference, ACM |
81 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
82 | Database | EDBT | International Conference on Extending Database Technology, ACM |
83 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
84 | Database | PODS | Symposium on Principles of Database Systems, ACM |
85 | Programming Languages | ICCL | International Conference on Computer Languages, IEEE |
86 | Database | ICDE | International Conference on Data Engineering, IEEE |
87 | Image Analysis | ICPIA | International Conference on Parallel Image Analysis, |
88 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
89 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
90 | Theoretical Computer Science | CTRS | International Workshop on Conditional Term Rewriting Systems, |
91 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
92 | Information Technology | EKAW | European Knowledge Acquisition Workshop, Springer |
93 | Automated Reasoning | LOPSTR | Logic Program Synthesis and Transformation, Springer |
94 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
95 | Software Engineering | AII | International Workshop on Analogical and Inductive Inference, |
96 | Multimedia | ITS | International Conference on Intelligent Tutoring Systems, Springer |
97 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
98 | Automated Reasoning | TARK | Theoretical Aspects Of Rationality And Knowledge, Springer |
99 | Hardware | ULPAA | |
100 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
101 | Computer Graphics | DCC | Data Compression Conference, IEEE |
102 | Information Technology | ICCI | International Conference on Computing and Information, |
103 | Applied Computing | ISTCS | Israel Symposium on Theory of Computing and Systems, Springer |
104 | Operating System | MKERN | |
105 | Formal Methods | FTRTFT | International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer |
106 | Information Technology | ISKI | Workshop on Information Systems and Artificial Intelligence, |
107 | Programming Languages | POS | International Workshop on Persistent Object Systems, Springer |
108 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
109 | Distributed And Parallel Computing | SPDP | IEEE Symposium on Parallel and Distributed Processing, IEEE |
110 | Optimization | IPCO | International Conference on Integer Programming and Combinatorial Optimization, |
111 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
112 | Machine Learning | ICCAL | International Conference on Computer Assisted Learning, |
113 | Artificial Intelligence | ICTAI | IEEE International Conference on Tools with Artificial Intelligence, IEEE |
114 | Hardware | ISMVL | IEEE International Symposium on Multiple-Valued Logic, IEEE |
115 | Mathematics | MPC | International Conference on Mathematics of Program Construction, Springer |
116 | Operating System | DFG | International Workshop on Experiences with Distributed Systems, Springer |
117 | Hardware | ITC | International Teletra c Congress, IEEE |
118 | Formal Methods | LARCH | International Workshop on Larch, |
119 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
120 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
121 | Hardware | DISCO | Design and Implementation of Symbolic Computation Systems, |
122 | Logical Reasoning | ELP | International Workshop on Extensions of Logic Programming, |
123 | Hardware | NIXDORF | Parallel Architectures and Their Efficient Use, |
124 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
125 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
126 | Database | ICDT | International Conference on Database Theory, ACM |
127 | Machine Learning | ICML | Workshop on Statistical Network Analysis, IEEE |
128 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
129 | Computer Networks | HPN | |
130 | Information Technology | TREC | Trends in Distributed Systems for Electronic Commerce, |
131 | Automated Reasoning | ALP | International Workshop/Conference on Algebraic and Logic Programming, Springer |
132 | Software Engineering | APL | International Conference on APL, ACM |
133 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
134 | FPGA | FPGA | International Symposium on Field Programmable Gate Arrays, ACM |
135 | Artificial Intelligence | TABLEAUX | International Workshop/Conference on Analytic Tableaux and Related Methods, Springer |
136 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
137 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
138 | Natural Language Processing | NLG | International Workshop on Natural Language Generation, |
139 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
140 | Programming Languages | PSC | Parallel Symbolic Computing: Languages, |
141 | Distributed And Parallel Computing | TAT | Parallele Datenverarbeitung mit dem Transputer, |
142 | Formal Methods | ZUM | International Conference of Z Users, Springer |
143 | Database | DS | |
144 | Artificial Intelligence | AISC | International Conference on Artificial Intelligence and Symbolic Computation, Springer |
145 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
146 | Security Privacy | ESORICS | European Symposium on Research in Computer Security, Springer |
147 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
148 | Database | IDS | International Workshop on Interfaces to Database Systems, |
149 | Artificial Intelligence | JELIA | European Workshop on Logics in Artificial Intelligence, Springer |
150 | Natural Language Processing | KONVENS | Verarbeitung nat?rlicher Sprache, |
151 | Database | OODBS | International Workshop on Object-Oriented Database Systems, |
152 | Artificial Intelligence | AIFIPP | |
153 | Artificial Intelligence | FOGA | Foundation of Genetic Algorithms, |
154 | Software Engineering | CSEE | Conference on Software Engineering Education, Springer |
155 | Software Engineering | EWSPT | European Workshop on Software Process Technology, Springer |
156 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
157 | Artificial Intelligence | IEAAIE | Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer |
158 | Automated Reasoning | LPAR | Logic for Programming, Springer |
159 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
160 | Visualization | VVS | Symposium on Volume Visualization and Graphics, IEEE |
161 | Database | DBWORKSHOPS | |
162 | Formal Methods | FORTE | Formal Techniques for Networked and Distributed Systems, |
163 | Applied Computing | BIRTHDAY | Computation Theory and Logic, Springer |
164 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
165 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
166 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
167 | Information Technology | CAISE | Advances Information System Engineering, Springer |
168 | Knowledge Management | CNKBS | |
169 | Database | DEDUCTIVE | |
170 | Security Privacy | SEC | IEEE International Symposium on Embedded Computing, |
171 | Software Engineering | AC | Agent Communication, Springer |
172 | Theoretical Computer Science | ACM | ACM Annual Conference, |
173 | Theoretical Computer Science | CAAP | Trees in Algebra and Programming, |
174 | Information Technology | IPMU | Int. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Springer |
175 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
176 | Programming Languages | OOGRAPHICS | Object-Oriented and Mixed Programming Paradigms, |
177 | Database | SSDBM | International Conference on Statistical and Scientific Database Management, IEEE |
178 | Software Engineering | DAGSTUHL | Scientific Visualization Conference, |
179 | Database | DBSEC | |
180 | Information Technology | ICIS | International Conference on Information Systems, |
181 | Information Technology | INDC | |
182 | Automated Reasoning | IWAR | International Workshop on Augmented Reality, |
183 | Hardware | PSTV | |
184 | Software Engineering | ADAEUROPE | Ada-Europe International Conference on Reliable Software Technologies, Springer |
185 | Human Computer Interaction | PROLAMAT | |