主题词：Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Formal Methods in Verification; Semantic Web and Ontologies; Advanced Algebra and Logic; semigroups and automata theory; Constraint Satisfaction and Optimization; Security and Verification in Computing; Parallel Computing and Optimization Techniques; Advanced Database Systems and Queries; Software Testing and Debugging Techniques; AI-based Problem Solving and Planning; Computability, Logic, AI Algorithms; Model-Driven Software Engineering Techniques; Natural Language Processing Techniques; Mathematics, Computing, and Information Processing; Polynomial and algebraic computation; Mathematics and Applications; Diverse Scientific and Economic Studies; Human auditory perception and evaluation; Software Engineering Research; History and Theory of Mathematics; Algorithms and Data Compression; Distributed systems and fault tolerance; Numerical Methods and Algorithms