主题词：Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; Parallel Computing and Optimization Techniques; Diverse Scientific and Economic Studies; Software Engineering Research; semigroups and automata theory; Distributed systems and fault tolerance; Advanced Database Systems and Queries; Computability, Logic, AI Algorithms; Distributed and Parallel Computing Systems; Security and Verification in Computing; Advanced Software Engineering Methodologies; Model-Driven Software Engineering Techniques; Algorithms and Data Compression; Human auditory perception and evaluation; Teaching and Learning Programming; Software Testing and Debugging Techniques; Academic Publishing and Open Access; Natural Language Processing Techniques; SAS software applications and methods; Scheduling and Optimization Algorithms; Advanced Algebra and Logic; Semantic Web and Ontologies; Artificial Intelligence in Games