主题词：Formal Methods in Verification; Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Logic, programming, and type systems; Model-Driven Software Engineering Techniques; Advanced Software Engineering Methodologies; Software Engineering Research; Real-Time Systems Scheduling; Embedded Systems Design Techniques; Petri Nets in System Modeling; Security and Verification in Computing; Distributed systems and fault tolerance; Software System Performance and Reliability; Service-Oriented Architecture and Web Services; Parallel Computing and Optimization Techniques; Advanced Malware Detection Techniques; Business Process Modeling and Analysis; Safety Systems Engineering in Autonomy; VLSI and Analog Circuit Testing; Radiation Effects in Electronics; Machine Learning and Algorithms; Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Adversarial Robustness in Machine Learning; Modular Robots and Swarm Intelligence