International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Transparent Transparency -- Developing a Scheme for Understanding Transparency Requirements | Deborah Baum, Kevin Baum, Sasha Zamani, Dirk Werth, Christian Bennoit |
| 11:30 | Ablation studies in ML as instances of manipulative interventions | Giacomo Zanotti, Viola Schiaffonati, Andrea Apicella, Salvatore Giugliano, Roberto Prevete, Guglielmo Tamburrini |
| 12:00 | Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence | Jurriaan van Diggelen, Hussein Abbass, Christine Boshuizen-van Burken |