主题词：Logic, programming, and type systems; Formal Methods in Verification; Software Engineering Research; Semantic Web and Ontologies; Cryptography and Data Security; Advanced Database Systems and Queries; Software Testing and Debugging Techniques; Distributed systems and fault tolerance; Embedded Systems Design Techniques; Constraint Satisfaction and Optimization; Adversarial Robustness in Machine Learning; Topic Modeling; Neural and Behavioral Psychology Studies; Medical Image Segmentation Techniques; Cloud Computing and Resource Management; Neurobiology and Insect Physiology Research; Reinforcement Learning in Robotics; Neural dynamics and brain function; Advanced Software Engineering Methodologies; Distributed and Parallel Computing Systems; Privacy-Preserving Technologies in Data; Ethics and Social Impacts of AI; Data Management and Algorithms; Manufacturing Process and Optimization; Advanced Data Storage Technologies