主题词：Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; semigroups and automata theory; Computability, Logic, AI Algorithms; Advanced Algebra and Logic; Distributed systems and fault tolerance; Advanced Topology and Set Theory; Complexity and Algorithms in Graphs; Petri Nets in System Modeling; Advanced Graph Theory Research; Semantic Web and Ontologies; Advanced Database Systems and Queries; Homotopy and Cohomology in Algebraic Topology; Model-Driven Software Engineering Techniques; Machine Learning and Algorithms; Security and Verification in Computing; Constraint Satisfaction and Optimization; Algorithms and Data Compression; Software Testing and Debugging Techniques; Natural Language Processing Techniques; Advanced Software Engineering Methodologies; DNA and Biological Computing; Parallel Computing and Optimization Techniques; Bayesian Modeling and Causal Inference