Tuesday 8 September 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:
- How Computer Science Teachers Assess Open-ended Programming Assignments, by Arthur Rump, Angelika Mader and Vadim Zaytsev. Accepted at Koli Calling 2026
- Online Test Generation for Transition and Scenario Coverage in an Industrial Setting, by Petra van den Bos, Ivan Kurtev, Mathijs Schuts, Debjyoti Bera, Erik Oerlemans. Accepted at ICTSS 2026
- Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO, by Laura Brandán Briones, Petra van den Bos, Marcus Gerhold. Accepted at ICTSS 2026
