| 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-2025, USA.