主题词：Formal Methods in Verification; Logic, programming, and type systems; Distributed systems and fault tolerance; Logic, Reasoning, and Knowledge; Model-Driven Software Engineering Techniques; Software Testing and Debugging Techniques; Advanced Software Engineering Methodologies; Software Reliability and Analysis Research; Security and Verification in Computing; Petri Nets in System Modeling; Embedded Systems Design Techniques; Parallel Computing and Optimization Techniques; Software Engineering Research; Real-Time Systems Scheduling; semigroups and automata theory; Service-Oriented Architecture and Web Services; Computability, Logic, AI Algorithms; Advanced Database Systems and Queries; Business Process Modeling and Analysis; Advanced Malware Detection Techniques; Semantic Web and Ontologies; History of Computing Technologies; Advanced Authentication Protocols Security; Software System Performance and Reliability; Cryptography and Data Security