主题词：Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Formal Methods in Verification; Semantic Web and Ontologies; Parallel Computing and Optimization Techniques; Distributed and Parallel Computing Systems; AI-based Problem Solving and Planning; DNA and Biological Computing; Natural Language Processing Techniques; COVID-19 diagnosis using AI; Topic Modeling; Advanced Database Systems and Queries; Algorithms and Data Compression; Computability, Logic, AI Algorithms; Complex Network Analysis Techniques; Advanced biosensing and bioanalysis techniques; Machine Learning and Algorithms; Human auditory perception and evaluation; Distributed systems and fault tolerance; Data Management and Algorithms; Modular Robots and Swarm Intelligence; Data Mining Algorithms and Applications; Scientific Computing and Data Management; Cellular Automata and Applications; Neural Networks and Applications