| id | subject | acronym | title |
|---|---|---|---|
| 1 | Image Processing | ICIP | International Conference on Image Processing, IEEE |
| 2 | Computer Vision | ECCV | European Conference on Computer Vision, Springer |
| 3 | Computational Linguistics | COLING | |
| 4 | Intelligent Agents | AAAI | |
| 5 | Robotics | ICRA | International Conference on Robotics and Automation, IEEE |
| 6 | Computational Linguistics | NAACL | |
| 7 | Hardware | ICCAD | International Conference on Computer Aided Design, IEEE |
| 8 | VHDL | EURODAC | European Design Automation Conference, IEEE |
| 9 | Database | VLDB | International Conference on Very Large Data Bases, ACM |
| 10 | Computer Architecture | DAC | Annual ACM IEEE Design Automation Conference, ACM |
| 11 | Hardware | ISCAS | International Symposium on Circuits and Systems, IEEE |
| 12 | Programming Languages | IFIP | International Workshop, Springer |
| 13 | Computer Graphics | SIGGRAPH | International Conference on Computer Graphics and Interactive Techniques, ACM |
| 14 | Computational Biology | ISMB | |
| 15 | Information Technology | NIPS | |
| 16 | Artificial Intelligence | AIPS | |
| 17 | Computational Linguistics | ACL | Meeting of the Association for Computational Linguistics, |
| 18 | Human Computer Interaction | CHI | Conference on Human Factors in Computing Systems, ACM |
| 19 | Computer Vision | MVA | |
| 20 | Data Mining | KDD | International Conference on Knowledge Discovery and Data Mining, ACM |
| 21 | Biometrics | HICSS | Hawaii International Conference on System Sciences, IEEE |
| 22 | Operating System | USENIX | |
| 23 | Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
| 24 | Communications | INFOCOM | Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE |
| 25 | Programming Languages | POPL | Annual Symposium on Principles of Programming Languages, ACM |
| 26 | Visualization | VISUALIZATION | IEEE Visualization, IEEE |
| 27 | Machine Learning | ICML | Workshop on Statistical Network Analysis, IEEE |
| 28 | Artificial Intelligence | ECAI | Truth Maintenance Systems, Springer |
| 29 | Algorithms | STOC | Annual ACM Symposium on Theory of Computing, ACM |
| 30 | Distributed And Parallel Computing | IPPS | International Parallel Processing Symposium, IEEE |
| 31 | Distributed And Parallel Computing | PDIS | International Conference Parallel and Distributed Information Systems, IEEE |
| 32 | Database | SIGMOD | International Conference on Management of Data, ACM |
| 33 | Automated Reasoning | LICS | Symposium on Logic in Computer Science, IEEE |
| 34 | Automated Reasoning | TIME | International Syposium on Temporal Representation and Reasoning, IEEE |
| 35 | Algorithms | SODA | Symposium on Discrete Algorithms, ACM |
| 36 | Multimedia | ICMCS | International Conference on Multimedia Computing and Systems, IEEE |
| 37 | Automated Reasoning | KR | International Conference on Principles and Knowledge Representation and Reasoning, Springer |
| 38 | Software Engineering | ICSE | International Conference on Software Engineering, IEEE-ACM |
| 39 | Operating System | OSDI | USENIX Symposium on Operating Systems Design and Implementation, ACM |
| 40 | Artificial Intelligence | UAI | |
| 41 | Logical Reasoning | CADE | Automated Deduction, Springer |
| 42 | Programming Languages | ICALP | International Colloquium on Automata, Springer |
| 43 | Algorithms | LCC | International Workshop on Logic and Computational Complexity, |
| 44 | Programming Languages | PLDI | Conference on Programming Language Design and Implementation, ACM |
| 45 | Communications | SIGCOMM | Communications architectures & protocols, ACM |
| 46 | VLSI | VLSID | International Conference on VLSI Design, IEEE |
| 47 | Distributed And Parallel Computing | PODC | Annual ACM Symposium on Principles of Distributed Computing, ACM |
| 48 | Artificial Intelligence | ICTAI | IEEE International Conference on Tools with Artificial Intelligence, IEEE |
| 49 | Discrete Geometry | COMPGEOM | ACM Symposium on Computational Geometry, ACM |
| 50 | Mathematics | ISSAC | International Symposium on Symbolic and Algebraic Computation (formerly EUROSAM, Springer |
| 51 | Hardware | ISCA | International Symposium on Computer Architecture, IEEE |
| 52 | Algorithms | SWAT | Scandinavian Workshop on Algorithm Theory, Springer |
| 53 | Distributed And Parallel Computing | ICDCS | International Conference on Distributed Computing Systems, IEEE |
| 54 | Modeling And Simulation | WSC | Winter Simulation Conference, |
| 55 | Software Engineering | UIST | Symposium on User Interface Software and Technology, ACM |
| 56 | Information Technology | CIKM | Conference on Information and Knowledge Management, Springer |
| 57 | Programming Languages | POS | International Workshop on Persistent Object Systems, Springer |
| 58 | Distributed And Parallel Computing | PPSN | International Conference on Parallel Problem Solving from Nature, Springer |
| 59 | Programming Languages | ECOOP | European Conference on Object-Oriented Programming, Springer |
| 60 | Formal Methods | SAS | International Static Analysis Symposium, Springer |
| 61 | Algorithms | COCO | Annual IEEE Conference on Computational Complexity, Springer |
| 62 | Cryptology | CRYPTO | Advances in Cryptology, Springer |
| 63 | Cryptology | FSE | International Workshop on Fast Software Encryption, Springer |
| 64 | Distributed And Parallel Computing | ICPP | International Conference on Parallel Processing, IEEE |
| 65 | Visual Languages | VL | IEEE Symposium on Visual Languages, IEEE |
| 66 | Theoretical Computer Science | MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
| 67 | Programming Languages | PLSA | International Conference on Programming Languages and System Architectures, |
| 68 | Control Systems | RTSS | IEEE International Real-Time Systems Symposium, IEEE |
| 69 | Internet Technology | ECHT | European Conference on Hypertext Technology, |
| 70 | Multimedia | MM | International Multimedia Conference, ACM |
| 71 | Machine Learning | COLT | Annual Workshop on Computational Learning Theory, Springer |
| 72 | Automated Reasoning | ICTL | International Conference on Temporal Logic, |
| 73 | Database | ICDE | International Conference on Data Engineering, IEEE |
| 74 | Distributed And Parallel Computing | ICPADS | International Conference on Parallel and Distributed Systems, IEEE |
| 75 | Software Engineering | PEPM | ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, ACM |
| 76 | Security Privacy | ESORICS | European Symposium on Research in Computer Security, Springer |
| 77 | Software Engineering | DAGSTUHL | Scientific Visualization Conference, |
| 78 | Computer Graphics | DCC | Data Compression Conference, IEEE |
| 79 | Software Engineering | TACS | International Conference/Symposium on Theoretical Aspects of Computer Software, Springer |
| 80 | Modeling And Simulation | MASCOTS | Performance Tools and Applications to Networked Systems, |
| 81 | Computer Networks | COMPCON | IEEE International Computer Conference, IEEE |
| 82 | Hardware | MICRO | International Symposium on Microarchitecture, IEEE |
| 83 | Programming Languages | ASPLOS | Architectural Support for Programming Languages and Operating Systems, ACM |
| 84 | Distributed And Parallel Computing | CONPAR | Conference on Analysing Problem Classes and Programming for Parallel Computing, |
| 85 | Programming Languages | ISOOMS | International Symposium on Object-Oriented Methodologies and Systems, |
| 86 | Automated Reasoning | NMELP | International Workshop on Non-monotonic Extensions of Logic Programming, |
| 87 | Applied Computing | SC | International Workshop on Structural Computing, ACM |
| 88 | Software Engineering | SIGSOFT | Foundations of Software Engineering, ACM |
| 89 | Distributed And Parallel Computing | ICS | International Conference on Supercomputing, Tsinghua U. |
| 90 | Security Privacy | CCS | Conference on Computer and Communications Security, ACM |
| 91 | Social Sciences | CSCW | Computer Supported Cooperative Work, ACM |
| 92 | Control Systems | HYBRID | Hybrid Systems, Springer |
| 93 | Hardware | ISMVL | IEEE International Symposium on Multiple-Valued Logic, IEEE |
| 94 | Database | PODS | Symposium on Principles of Database Systems, ACM |
| 95 | Software Engineering | ICSM | IEEE International Conference on Software Maintenance, IEEE |
| 96 | Hardware | ITC | International Teletra c Congress, IEEE |
| 97 | Automated Reasoning | CCL | International Conference on Constraints in Computational Logics, Springer |
| 98 | Algorithms | ISAAC | International Symposium on Algorithms and Computation, Springer |
| 99 | Human Computer Interaction | BCSHCI | British Computer Society Conference on Human-Computer Interaction, |
| 100 | Information Technology | TREC | Trends in Distributed Systems for Electronic Commerce, |
| 101 | Algorithms | ANTS | International Algorithmic Number Theory Symposium, Springer |
| 102 | Automated Reasoning | ICLP | International Conference on Logic Programming, Springer |
| 103 | Operating System | LISA | |
| 104 | Applied Computing | SAC | International Workshop on Selected Areas in Cryptography, ACM |
| 105 | Artificial Intelligence | ISMIS | International Symposium on Methodologies for Intelligent Systems, Springer |
| 106 | Distributed And Parallel Computing | IFIPPACT | |
| 107 | Hardware | SIGMETRICS | Conference of the ACM Special Interest Group on Measurement and Evaluation, ACM |
| 108 | Operating System | SIGOPSE | SIGOPS European Workshop, ACM |
| 109 | Formal Methods | FORTE | Formal Techniques for Networked and Distributed Systems, |
| 110 | Database | ER | International Conference on Conceptual Modeling - The Entity-Relationship Approach, Springer |
| 111 | Artificial Intelligence | LFCS | Logical Foundations of Computer Science, Springer |
| 112 | Distributed And Parallel Computing | SPAA | ACM Symposium on Parallel Algorithms and Architectures, ACM |
| 113 | VLSI | DFT | IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, IEEE |
| 114 | Formal Methods | IMPERIAL | Theory and Formal Methods, |
| 115 | Computational Geometry | CCCG | |
| 116 | Machine Learning | ALT | Algorithmic Learning Theory, Springer |
| 117 | Database | KRDB | |
| 118 | Operating System | SRDS | IEEE Symposium on Reliable Distributed Systems, IEEE |
| 119 | Distributed And Parallel Computing | CONCUR | Seminar on Concurrency, Springer |
| 120 | Distributed And Parallel Computing | HPCN | International Conference on High-Performance Computing and Networking, Springer |
| 121 | Natural Language Processing | ICGI | International Colloquium on Grammatical Inference, Springer |
| 122 | Information Technology | IPMU | Int. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Springer |
| 123 | Information Technology | ISKI | Workshop on Information Systems and Artificial Intelligence, |
| 124 | Communications | ISN | International Conference on Intelligence in Services and Networks, Springer |
| 125 | Programming Languages | PLILP | International Workshop/Symposium on Programming Language Implementation and Logic Programming, Springer |
| 126 | Education | SIGCSE | Technical Symposium on Computer Science Education, ACM |
| 127 | Hardware | ICCD | International Conference on Computer Design, IEEE |
| 128 | Artificial Intelligence | APN | Application and Theory of Petri Nets, Springer |
| 129 | Hardware | CAV | International Workshop on Computer Aided Verification, Springer |
| 130 | Database | DEXA | International Workshop on Database and Expert Systems Applications, Springer |
| 131 | Intelligent Agents | ECAIW | Workshop on Agent Theories, Springer |
| 132 | Artificial Intelligence | IEAAIE | Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer |
| 133 | Software Engineering | AVI | AVI, |
| 134 | Security Privacy | CSFW | IEEE Computer Security Foundations Workshop, IEEE |
| 135 | Cryptology | EUROCRYPT | Int. Workshop/Conference on Theory and Application of, Springer |
| 136 | Computer Graphics | GD | Graph Drawing, Springer |
| 137 | Multimedia | MHVR | International Conference on Multimedia, |
| 138 | Theoretical Computer Science | STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
| 139 | Database | SSDBM | International Conference on Statistical and Scientific Database Management, IEEE |
| 140 | Artificial Intelligence | EVOW | Process in Evolutionary Computation Workshop, Springer |
| 141 | Software Engineering | FSTTCS | Foundations of Software Technology and Theoretical Computer Science, Springer |
| 142 | Human Computer Interaction | ICCHP | International Conference on Computers for Handicapped Persons, Springer |
| 143 | Database | IDS | International Workshop on Interfaces to Database Systems, |
| 144 | GIS | IGIS | International Workshop on Advanced Research in Geographic Information Systems, |
| 145 | Artificial Intelligence | AGP | Italian Conference on Logic Programming, IEEE |
| 146 | Database | EDBT | International Conference on Extending Database Technology, ACM |
| 147 | Artificial Intelligence | KI | Joint German/Austrian Conference on Artificial Intelligence (Kunstliche Intelligenz), Springer |
| 148 | Distributed And Parallel Computing | PARLE | International Conference on Parallel Architectures and Languages Europe, |
| 149 | Software Engineering | SEKE | International Conference on Software Engineering and Knowledge Engineering, Springer |
| 150 | Programming Languages | ICCL | International Conference on Computer Languages, IEEE |
| 151 | Software Engineering | ISPW | International Software Process Workshop, IEEE |
| 152 | Automated Reasoning | CSL | Workshop on Computer Science Logic, Springer |
| 153 | Formal Methods | FM | World Congress on Formal Methods, Springer |
| 154 | System Software | LCPC | International Workshop on Languages and Compilers for Parallel Computing, Springer |
| 155 | Hardware | ULPAA | |
| 156 | Automated Reasoning | ALP | International Workshop/Conference on Algebraic and Logic Programming, Springer |
| 157 | Distributed And Parallel Computing | HPDC | High Performance Distributed Computing, IEEE |
| 158 | Computer Networks | LCN | Annual IEEE Conference on Local Computer Networks, IEEE |
| 159 | Applied Computing | EDCC | European Dependable Computing Conference, Springer |
| 160 | Human Computer Interaction | EWHCI | International Conference on Human-Computer Interaction, |
| 161 | Formal Methods | FTRTFT | International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer |
| 162 | Automated Reasoning | LOPSTR | Logic Program Synthesis and Transformation, Springer |
| 163 | Intelligent Agents | MAAMAW | European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Springer |
| 164 | Software Engineering | KBSE | Knowledge-Based Software Engineering Conference, IEEE |
| 165 | Information Technology | CAISE | Advances Information System Engineering, Springer |
| 166 | System Software | CC | Critical Computing, Springer |
| 167 | Multimedia | COST | Multimedia Transport and Teleservices, Springer |
| 168 | Multimedia | IWACA | International Workshop on Advanced Teleservices and High-Speed Communication Architectures, |
| 169 | Programming Languages | ESOP | European Symposium on Programming, Springer |
| 170 | Fuzzy Logic | FUZZY | Fuzzy Logik, Springer |
| 171 | Information Technology | OOIS | International Conference on Object Oriented Information Systems, Springer |
| 172 | Graph Theory | TAGT | International Workshop on Theory and Application of Graph Transformations, Springer |
| 173 | Education | CASCON | |
| 174 | Information Technology | COOPIS | IFCIS International Conference on Cooperative Information Systems, IEEE |
| 175 | Automated Reasoning | EWCBR | European Workshop on Topics in Case-Based Reasoning, Springer |
| 176 | Software Engineering | EWSPT | European Workshop on Software Process Technology, Springer |
| 177 | Algorithms | WDAG | International Workshop on Distributed Algorithms, Springer |
| 178 | Artificial Intelligence | FOGA | Foundation of Genetic Algorithms, |
| 179 | Mathematics | IMAMS | |
| 180 | Programming Languages | COMPASS | Recent Trends in Data Type Specification, |
| 181 | Artificial Intelligence | JELIA | European Workshop on Logics in Artificial Intelligence, Springer |
| 182 | Information Technology | ICIS | International Conference on Information Systems, |
| 183 | Artificial Intelligence | MI | |
| 184 | Software Engineering | CODES | International Workshop on Hardware/Software Co-Design, IEEE |
| 185 | Database | ADB | International Conference on Applications of Databases, |
| 186 | Artificial Intelligence | AISB | Evolutionary Computing, Springer |
| 187 | Hardware | FPL | International Workshop/Conference on Field-Programmable Logic and Applications, Springer |
| 188 | Computer Vision | NSF | Object Representation in Computer Vision, Springer |
| 189 | Algorithms | CIAC | Italian Conference on Algorithms and Complexity, Springer |
| 190 | Algorithms | ESA | European Symposium on Algorithms, Springer |
| 191 | Applied Computing | PARA | International Workshop on Applied Parallel Computing, Springer |
| 192 | Distributed And Parallel Computing | TPPP | International Workshop on Theory and Practice of Parallel Programming, |
| 193 | Theoretical Computer Science | WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
| 194 | Programming Languages | TOOLS | International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, IEEE |
| 195 | Database | ADBIS | Advances in Databases and Information Systems, Springer |
| 196 | ECommerce | EC | Electronic Commerce, |
| 197 | Automated Reasoning | LPAR | Logic for Programming, Springer |
| 198 | Database | DEDUCTIVE | |
| 199 | Distributed And Parallel Computing | EUROSIM | |
| 200 | Automated Reasoning | TPHOL | International Workshop on the HOL Theorem Proving System and its Applications, IEEE |
| 201 | Digital Library | DL | Digital Libraries: Current Issues, Springer |
| 202 | Machine Learning | ECML | European Working Session on Learning, Springer |
| 203 | Programming Languages | PPCP | International Workshop on Principles and Practice of Constraint Programming (preceding the CP Conf.), |
| 204 | Distributed And Parallel Computing | APDC | Advances in Parallel and Distributed Computing Conference, |
| 205 | Computer Networks | PHSN | |
| 206 | Database | ADC | Agile Development Conference/Australasian Database Conference, Springer |
| 207 | Natural Language Processing | LNCS | Text Understanding in LILOG, |
| 208 | Algorithms | ORDAL | International Workshop on Orders, |
| 209 | Theoretical Computer Science | CAAP | Trees in Algebra and Programming, |
| 210 | Knowledge Management | COMAD | |
| 211 | Theoretical Computer Science | ACM | ACM Annual Conference, |
| 212 | Combinatorics | CPM | Combinatorial Pattern Matching, Springer |
| 213 | Applied Computing | ICCS | International Conference on Computational Science, Springer |
| 214 | Security Privacy | OOPSLA | Security for Object-Oriented Systems, Springer |
| 215 | Document Analysis | SIGDOC | ACM Special Interest Group for Design of Communication, ACM |
| 216 | Information Technology | SIGIR | International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM |
| 217 | Software Engineering | ICSQP | |
| 218 | Information Technology | RIAO | |
| 219 | Software Engineering | APL | International Conference on APL, ACM |
| 220 | Emerging Technology | ASSETS | ACM SIGACCESS Conference on Computers and Accessibility, ACM |
| 221 | Distributed And Parallel Computing | CFCP | Parallel and Distributed Computing, |
| 222 | Distributed And Parallel Computing | ECOOPW | Object-Based Concurrent Computing, Springer |
| 223 | Hardware | EUROCAST | European/International Workshop on Computer Aided Systems Theory, Springer |
| 224 | Information Technology | EWDW | Interational East/West Data Base Workshop, |
| 225 | Programming Languages | SIGADA | Annual International Conference on Ada, Springer |
| 226 | Information Technology | IFIP8 | |
| 227 | Database | SPIESR | |
| 228 | Document Analysis | RIDE | International Workshop on Research Issues in Data Engineering, IEEE |
| 229 | Software Engineering | AC | Agent Communication, Springer |
| 230 | Artificial Intelligence | AISC | International Conference on Artificial Intelligence and Symbolic Computation, Springer |
| 231 | Hardware | CPE | Computer Performance Evaluation, Springer |
| 232 | Theoretical Computer Science | ECA | Ethics in the Computer Age, |
| 233 | Theoretical Computer Science | GI | GI (German Informatics Society) Annual Conference, Springer |
| 234 | Software Engineering | ISSTA | International Symposium on Software Testing and Analysis, ACM |
| 235 | Programming Languages | OOGRAPHICS | Object-Oriented and Mixed Programming Paradigms, |
| 236 | Automated Reasoning | TARK | Theoretical Aspects Of Rationality And Knowledge, Springer |
| 237 | Hardware | TPCD | International Conference on Theorem Provers in Circuit Design, |
| 238 | Software Engineering | CSEE | Conference on Software Engineering Education, Springer |
| 239 | Information Technology | SIGUCCS | User Services Conference, ACM |
| 240 | Theoretical Computer Science | CTRS | International Workshop on Conditional Term Rewriting Systems, |
| 241 | Computer Networks | BI | |
| 242 | Hardware | PSTV | |
| 243 | Computer Networks | SMARTNET | |
| 244 | Applied Computing | BIRTHDAY | Computation Theory and Logic, Springer |
| 245 | Information Technology | EKAW | European Knowledge Acquisition Workshop, Springer |
| 246 | Formal Methods | TYPES | International Workshop on Types for Proofs and Programs, Springer |
| 247 | Formal Methods | ZUM | International Conference of Z Users, Springer |
| 248 | Human Computer Interaction | DSVIS | Design, Springer |
| 249 | Communications | FIW | |
| 250 | Information Technology | GMDS | |
| 251 | Computer Networks | HPN | |
| 252 | Computer Vision | TFCV | |
| 253 | Theoretical Computer Science | CMG |
Copyright © Sciweavers LLC, 2009-2025, USA.