IEEE International Conference on Program Comprehension (previously IWPC, changed in 2006)
Computer Science
986 series
International Conference on Software Architecture (was previously WICSA)
International Conference on Software Testing, Verification and Validation
International Joint Conference on Automated Reasoning
Artificial Intelligence Software Engineering Theory & Algorithms
Conference on Integer Programming and Combinatorial Optimization
IEEE International Parallel and Distributed Processing Symposium (was IPPS and SPDP)
IEEE/RSJ International Conference on Intelligent Robots and Systems
International Symposium on Symbolic and Algebraic Computation
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)