主题词：Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Formal Methods in Verification; semigroups and automata theory; Semantic Web and Ontologies; Advanced Algebra and Logic; Multi-Agent Systems and Negotiation; Constraint Satisfaction and Optimization; Complexity and Algorithms in Graphs; Computability, Logic, AI Algorithms; Advanced Database Systems and Queries; Advanced Graph Theory Research; Software Testing and Debugging Techniques; Data Management and Algorithms; Distributed systems and fault tolerance; Natural Language Processing Techniques; Petri Nets in System Modeling; Bayesian Modeling and Causal Inference; Model-Driven Software Engineering Techniques; AI-based Problem Solving and Planning; Algorithms and Data Compression; Parallel Computing and Optimization Techniques; DNA and Biological Computing; Cryptography and Data Security; Rough Sets and Fuzzy Logic