Intro -- Title Page -- Preface -- About the Conference -- Contents -- Frontiers in AI -- Caveats and Solutions for Characterising General-Purpose AI -- Back to the Future: Symbolic Reasoning to Combat Malicious Use of Social Media -- AI for Declarative Processes: Representation, Mining, Synthesis -- Actively Learning from Machine Learning Models with Queries and Counterexamples (Extended Abstract) -- Proportional Representation for Artificial Intelligence -- The World is a Multi-Objective Multi-Agent System: Now What? -- Dissecting Scorpion: Ablation Study of an Optimal Classical Planner -- Zero-Waste Machine Learning -- Journal Track -- Contributions to the Journal Track -- Main-Track Papers -- Computer Vision -- I-Adapt: Using IoU Adapter to Improve Pseudo Labels in Cross-Domain Object Detection -- Detect Closer Surfaces That Can be Seen: New Modeling and Evaluation in Cross-Domain 3D Object Detection -- FlowLearn: Evaluating Large Vision-Language Models on Flowchart Understanding -- Learning A Closed-Loop Bidirectional Scale-Recurrent Network for Image Deraining -- Adapt PointFormer: 3D Point Cloud Analysis via Adapting 2D Visual Transformers -- FMViT: A Multiple-Frequency Mixing Vision Transformer -- TrustMIS: Trust-Enhanced Inference Framework for Medical Image Segmentation -- An Animation-Based Augmentation Approach for Action Recognition from Discontinuous Video -- Quater-GCN: Enhancing 3D Human Pose Estimation with Orientation and Semi-Supervised Training -- TEOcc: Radar-Camera Multi-Modal Occupancy Prediction via Temporal Enhancement -- SinLane: Siamese Visual Transformer via Pyramid Feature Integration for Lane Detection -- SaccadeMOT: Enhancing Object Detection and Tracking in Gigapixel Images via Scale-Aware Density Estimation -- CPNet: 3D Semantic Relation and Geometry Context Prior Network for Multi-Organ Segmentation.