主题词：Logic, programming, and type systems; Formal Methods in Verification; semigroups and automata theory; Logic, Reasoning, and Knowledge; Diverse Scientific and Economic Studies; Human auditory perception and evaluation; Advanced Algorithms and Applications; Industrial Technology and Control Systems; Algorithms and Data Compression; Computability, Logic, AI Algorithms; Advanced Sensor and Control Systems; Complexity and Algorithms in Graphs; Educational Robotics and Engineering; Machine Learning and Algorithms; DNA and Biological Computing; Advanced Computational Techniques and Applications; Distributed systems and fault tolerance; Advanced Graph Theory Research; Advanced Algebra and Logic; Optimization and Search Problems; Petri Nets in System Modeling; Cryptography and Data Security; Advanced Database Systems and Queries; Cellular Automata and Applications; Natural Language Processing Techniques