Papers of the Month: May 2026

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

• Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation, by Benedikt Peterseim and Milan Lopuhaä-Zwakenberg. Accepted for LICS 2026
• Fractional Separation Logic in Isabelle/LLVM, by Peter Lammich. Accepted at ITP 2026
• User-defined Types and Operations in GROOVE, by Arend Rensink. Accepted for ICGT 2026
• Which attacks are most critical? Risk prioritization via attack tree importance measures, by Reza Soltani, Milan Lopuhaä-Zwakenberg, and Mariëlle Stoelinga. Accepted for CSF 2026