主题词：Logic, programming, and type systems; Formal Methods in Verification; Parallel Computing and Optimization Techniques; Software Testing and Debugging Techniques; Security and Verification in Computing; Software Engineering Research; Distributed systems and fault tolerance; Logic, Reasoning, and Knowledge; Advanced Malware Detection Techniques; Software System Performance and Reliability; Model-Driven Software Engineering Techniques; Advanced Database Systems and Queries; Advanced Software Engineering Methodologies; Advanced Data Storage Technologies; Machine Learning and Algorithms; Quantum Computing Algorithms and Architecture; Embedded Systems Design Techniques; Adversarial Robustness in Machine Learning; Computability, Logic, AI Algorithms; Software Reliability and Analysis Research; Bayesian Modeling and Causal Inference; Quantum Information and Cryptography; Cloud Computing and Resource Management; Natural Language Processing Techniques; semigroups and automata theory