主题词：Formal Methods in Verification; Logic, programming, and type systems; semigroups and automata theory; Algorithms and Data Compression; DNA and Biological Computing; Logic, Reasoning, and Knowledge; Distributed systems and fault tolerance; Advanced Database Systems and Queries; Petri Nets in System Modeling; Natural Language Processing Techniques; Parallel Computing and Optimization Techniques; Data Management and Algorithms; Computability, Logic, AI Algorithms; Advanced Algebra and Logic; Optimization and Search Problems; Advanced Graph Theory Research; Cellular Automata and Applications; Semantic Web and Ontologies; Interconnection Networks and Systems; Model-Driven Software Engineering Techniques; Complexity and Algorithms in Graphs; Advanced Queuing Theory Analysis; Machine Learning and Algorithms; Software Testing and Debugging Techniques; Embedded Systems Design Techniques