Theoretical Computer Science | FOCS | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
| SPIN | International Workshop on SPIN Model Checking, Springer |
| GI | GI (German Informatics Society) Annual Conference, Springer |
| RANDOM | International Workshop on Randomization and Approximation Techniques in Computer Science, Springer |
| STACS | Annual Symposium on Theoretical Aspects of Computer Science, Springer |
| RTA | International Conference on Rewriting Techniques and Applications, Springer |
| TLCA | International Conference on Typed Lambda Calculi and Applications, Springer |
| MFCS | International Symposium on Mathematical Foundations of Computer, Springer |
| IFIPTCS | Theoretical Computer Science, |
| ITICSE | Annual Joint Conference Integrating Technology into Computer Science Education, ACM |
| WG | International Workshop on Graph-Theoretic Concepts in Computer Science, Springer |
| ICTCS | Italian Conference on Theoretical Computer Science, Springer |
| SOFSEM | Seminar/Conference on Current Trends in Theory and Practice of Informatics, Springer |
| DIS | Designing Interactive Systems, Springer |
| SCCC | International Conference of the Chilean Computer Science Society, IEEE |
| PDC | Participatory Design, ACM |
| RELMICS | International Seminar on the Use of Relational Methods in Computer Science, Springer |
| ENC | Mexican International Conference on Computer Science, IEEE |
| ACM | ACM Annual Conference, |
| GG | International Workshop on Graph-Grammars and Their Application to Computer Science and Biology, Springer |
| CAGD | |
| DAM | |
| ICOM | |
| CSIE | World Congress on Computer Science and Information Engineering, IEEE |
| WSKS | World Summit on the Knowledge Society, Springer |
| ICYCS | International Conference for Young Computer Scientists, IEEE |
| SOFTCO | Applied Soft Computing Technologies: The Challenge of Complexity, Springer |
| CAD | Methoden der Informatik f?r Rechnerunterst?tztes Entwerfen und Konstruieren, Springer |
| HOA | International Workshop on Higher-Order Algebra, |
| EXPCS | Workshop On Experimental Computer Science, |
| ETD2000 | Electronic Technology Directions to the Year 2000, |
| IMECS | |
| CVIU | |
| STTT | |
| CSE | IEEE International Conference on Computational Science and Engineering, IEEE |
| CSR | International Computer Science Symposium, Springer |
| KSEM | Knowledge Science, Springer |
| ISVD | International Symposium on Voronoi Diagrams in Science and Engineering, IEEE |
| ACSE | Australasian Conference on Computer Science Education, ACM |
| ECA | Ethics in the Computer Age, |
| SIGBDP | SIGBDP-SIGCPR Conference, |
| WMP | Multiset Processing, |
| CMG | |
| IEEECSA | |
| CVGIP | |
| DBSK | |
| MEMICS | |
| ADAC | |
| ACSC | Asian Computing Science Conference (later ASIAN), IEEE |
| COMPLEX | International Conference on Complex Sciences, Springer |
| ICMT | Int. Conference Model Transformations, Springer |
| IMSCCS | International Multi-Symposiums on Computer and Computational Sciences, IEEE |
| CTRS | International Workshop on Conditional Term Rewriting Systems, |
| DLT | |
| PROPERTYTESTING | |
| CSUR | |
| DATAMINE | |
| ICDS | International Conference on the Digital Society, IEEE |
| CSO | International Joint Conference on Computational Sciences and Optimization, IEEE |
| CCA | International Workshop on Computability and Complexity in Analysis, Springer |
| ERSHOV | International Sympoisum on Theoretical Programming, Springer |
| ACMSE | ACM Southeast Regional Conference, ACM |
| FQ | International Conference on Finite Fields and Applications, Springer |
| DRUMS | Applications of Uncertainty Formalisms, Springer |
| CAAP | Trees in Algebra and Programming, |
| BALT | Baltic Computer Science, |
| IWWERT | International Workshop on Word Equations and Related Topics, |
| DIMACS | |
| TCS | International Conference on Theoretical Computer Science, |