主题词：Polynomial and algebraic computation; Software Testing and Debugging Techniques; Distributed and Parallel Computing Systems; Formal Methods in Verification; Parallel Computing and Optimization Techniques; Advanced Data Processing Techniques; Advanced Numerical Analysis Techniques; Computer Graphics and Visualization Techniques; Software Reliability and Analysis Research; Logic, programming, and type systems; Software Engineering Research; Embedded Systems Design Techniques; Advanced Malware Detection Techniques; Advanced Database Systems and Queries; Semantic Web and Ontologies; Numerical methods for differential equations; Data Management and Algorithms; Security and Verification in Computing; Cloud Computing and Resource Management; Model-Driven Software Engineering Techniques; Scientific Computing and Data Management; Software Engineering Techniques and Practices; Service-Oriented Architecture and Web Services; Interconnection Networks and Systems; 3D Shape Modeling and Analysis