International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Compliance‑by‑Design with Lingua Franca: Toward Meeting EU AI Act Requirements | Matthias Wagner, Sriram Bhimaraju, Markus Borg, Per Runeson, Edward A. Lee |
| 11:30 | A Human-Centered Argumentation Tool for Justifiable AI Governance | Sarah Sterz, Jonathan Gärtner, Svenja Omlow |
| 12:00 | Constitutive vs. Corrective: A Causal Taxonomy of Human Runtime Involvement in AI Systems | Kevin Baum, Johann Laux |