International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 13:30 | When Rules Run Out: Formal Methods for Open-Textured Legal Terms | Frederike Zufall, Maike Schwammberger |
| 14:00 | Interaction-Level Monitoring: A Holistic Strategy for Mitigating Human–AI Double Anchoring | Mariela Destefano |
| 14:30 | When the Red Team Gets an AI Intern – Ethical Continuities and New Challenges in AI-Assisted Vulnerability & Exploitation Research | Thorsten Helfer, Jannik Zeiser |