Papers of the Month: November 2025

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Bridging CPU and GPU in Rust, by Niek Aukes, Cristian-Andrei Begu, and Georgiana Caltais. Accepted at BENEVOL 2025
• Binomial Priority Queues - Book Chapter by Peter Lammich. See Functional Data Structures and Algorithms: A Proof Assistant Approach | ACM Books
• SPAX: A Shapley-Based Point Attribution eXplanation for Interpreting 3D Point Cloud Classification, by Harinck, M. F.; Sarwar, M. S.; Ton, B. and Ahmed, F.
  Accepted at The 3^rd International Conference on Explainable AI for Neural and Symbolic Methods
• Feature-level Fusion of 2D Images and 3D LiDAR Point Clouds for Semantic Segmentation, by Nikolov, A.; Sarwar, M. S. and Ahmed, F. Accepted at  the 37^th  Benelux Conference on Artificial Intelligence
• Risico-analyse: Model Versus Mythe - chapter in the Dutch magazine 15 Jaar Master Risicomanagement, by Marielle Stoelinga