主题词：Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; Distributed systems and fault tolerance; Diverse Scientific and Economic Studies; Human auditory perception and evaluation; Educational Robotics and Engineering; Model-Driven Software Engineering Techniques; Advanced Software Engineering Methodologies; Software Testing and Debugging Techniques; Advanced Algebra and Logic; Semantic Web and Ontologies; semigroups and automata theory; Parallel Computing and Optimization Techniques; Service-Oriented Architecture and Web Services; Software Engineering Research; Security and Verification in Computing; Petri Nets in System Modeling; Computability, Logic, AI Algorithms; Advanced Database Systems and Queries; Constraint Satisfaction and Optimization; Business Process Modeling and Analysis; Software Reliability and Analysis Research; Advanced Malware Detection Techniques; Natural Language Processing Techniques