- ACL2 2006 International Workshop on the ACL2 Theorem Prover and its Applications
- FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
- The 12th International Conference on Artificial Intelligence: Methodology, Systems, Applications
- CALL FOR PAPERS --- NIPS*2006
- M^3ST 2006 Int. Conf. on Modern Mathematical Methods in Science and Technology
- The First International Conference on Scale-Space and Variational Methods in Computer Vision.
- 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems
- 4th International Conference on Formal Modelling and Analysis of Timed Systems
- COMPUTATIONAL METHODS IN MOLECULAR BIOLOGY: THEORY AND APPLICATIONS
- Seventh Metaheuristics International Conference (MIC 2007)
- Learning and Intelligent OptimizatioN - LION 2007
- International Mass Customization Meeting (IMCM'07)
- Int. Conference on Economic, Technical and Organizational Aspects of Product Configuration Systems
- The 21th IEEE/ACM International Parallel and Distributed Processing Symposium (IPDPS 2007)
- 6th Canadian Summer School on Quantum Information Processing
- Twenty-First Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2006)
- International Workshop on architectures, models and infrastructures
- Biological Networks III: Modularity and Genome Evolution
- The 6th Annual MOPTA (Modeling and Optimization: Theory and Applications)
- Business Process Management 2006
