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 | | |