| Intelligent Agents | | International Workshop on Formal Approaches to Agent-Based Systems, Springer |
| Hardware | | Specification and Verification of Concurrent Systems, |
| Software Engineering | | Internationsl Conference on Fundamental Approaches to Software Engineering, Springer |
| Operating System | | |
| Software Engineering | | International Workshop on Formal Approaches to Software Testing, Springer |
| Algorithms | | International Workshop on Frontiers in Algorithmics, Springer |
| Information Technology | | Frontiers in the Convergence of Bioscience and Information Technologies, IEEE |
| Formal Methods | | |
| Cryptology | | International Conference on Financial Cryptography, Springer |
| Formal Methods | | Formal Concept Analysis, Springer |
| VLSI | | Annual IEEE Symposium on Field-Programmable Custom Computing Machines, IEEE |
| Computer Science | | |
| Applied Computing | | Fundamentals of Computation Theory, Springer |
| Computer Graphics | | International Conference on Foundations of Digital Games, ACM |
| Natural Language Processing | | Forum on specification and Design Languages, IEEE |
| Cryptology | | Workshop on Fault Diagnosis and Tolerance in Cryptography, Springer |
| Education | | |
| Biometrics | | |
| Internet Technology | | |
| Communications | | Future Generation Communication and Networking, IEEE |
| Information Technology | | International Conference on Future Generation Information Technology, Springer |
| Biometrics | | International Conference on Automatic Face and Gesture Recognition, IEEE |
| Hardware | | |
| Distributed And Parallel Computing | | International Workshop on Scientific Engineering for Distributed Java Applications, Springer |
| Medical Imaging | | International Workshop on Functional Imaging and Modeling of the Heart, Springer |
| Data Mining | | |
| Finance | | International Workshop on Enterprise Applications and Services in the Finance Industry, Springer |
| Natural Language Processing | | International Conference on Natural Language Processing (in Finland), |
| Robotics | | Advances in Robotics, Springer |
| Algorithms | | Methodologies and Tools for Performance Evaluation of Complex Systems Techniques, IEEE |
| Internet Technology | | Future Internet Symposium, |
| Information Technology | | |
| Internet Technology | | Tra c Management and Tra c Engineering for the Futur Internet, |
| Communications | | |
| Cryptology | | French-Soviet Workshop on Algebraic Coding, |
| Artificial Intelligence | | |
| Automated Reasoning | | Fuji International Symposium on Functional and Logic Programming, Springer |
| Formal Methods | | World Congress on Formal Methods, Springer |
| Formal Methods | | |
| Formal Methods | | International Conference on Formal Methods in Computer-Aided Design, Springer |
| Formal Methods | | Formal Methods for Components and Objects, Springer |
| Formal Methods | | Formal Methods for Industrial Critical Systems, Springer |
| Database | | International Workshop on Foundations of Models and Languages for Data and Objects, Springer |
| Multimedia | | Future Multimedia Networking, Springer |
| Formal Methods | | Formal Methods for Open Object-Based Distributed Systems, |
| Formal Methods | | Formal Methods in Systems Biology, |
| Formal Methods | | Formal Methods in Software Practice, ACM |
| Natural Language Processing | | Workshop on Foundations of Aspect-Oriented Languages, ACM |
| Applied Computing | | Symposium on Foundations of Computational Intelligence, IEEE |
| Theoretical Computer Science | | Annual IEEE Symposium on Foundations of Computer Science, IEEE |
| Algorithms | | International Conference on Foundations of Data Organization and Algorithms, Springer |
| Artificial Intelligence | | Foundation of Genetic Algorithms, |
| Information Technology | | International Symposium on Foundations of Information and Knowledge Systems, Springer |
| Information Technology | | Formal Ontology in Information Systems, |
| Knowledge Management | | |
| Formal Methods | | Formal Modeling and Analysis of Timed Systems, Springer |
| Formal Methods | | Formal Techniques for Networked and Distributed Systems, |
| Formal Methods | | |
| Security Privacy | | International School on Foundations of Security Analysis and Design, Springer |
| Software Engineering | | International Conference on Foundations of Software Science and Computation Structure, Springer |
| Formal Methods | | Functional Programming, |
| Programming Languages | | Conference on Functional Programming Languages and Computer Architecture, |
| FPGA | | International Symposium on Field Programmable Gate Arrays, ACM |
| Hardware | | International Workshop/Conference on Field-Programmable Logic and Applications, Springer |
| Computer Graphics | | |
| Programming Languages | | International Symposium on Functional Programming Languages in Education, |
| Hardware | | International Conference on Field-Programmable Technology, IEEE |
| Theoretical Computer Science | | International Conference on Finite Fields and Applications, Springer |
| Database | | International Conference on Flexible Query Answering Systems, Springer |
| Mathematics | | |
| Control Systems | | International Workshop on Frontiers of Combining Systems, Springer |
| Cryptology | | International Workshop on Fast Software Encryption, Springer |
| Software Engineering | | Fundamentals of Software Engineering, Springer |
| Fuzzy Logic | | Fuzzy Systems and Knowledge Discovery, Springer |
| Natural Language Processing | | Finite-State Methods and Natural Language Processing, Springer |
| Robotics | | International Conference on Field and Service Robotics, Springer |
| Software Engineering | | Foundations of Software Technology and Theoretical Computer Science, Springer |
| Distributed And Parallel Computing | | IEEE International Workshop Future Trends of Distributed Computing Systems, IEEE |
| Automated Reasoning | | International Workshop on First-Order Theorem Proving, Springer |
| Formal Methods | | International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer |
| Algorithms | | International Conference on Fun with Algorithms, Springer |
| Computer Graphics | | |
| Fuzzy Logic | | IEEE International Conference on Fuzzy Systems, IEEE |
| Fuzzy Logic | | Fuzzy Logik, Springer |
| Natural Language Processing | | |