International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | AI Literacy as System Capacity: Socio-Technical Principles for AI-Literate AI Use | Sophie Kerstan, Richard Uth, Markus Langer |
| 11:30 | Between Prohibition and Permission: How the EU AI Act Tackles the Dark Side of AI | Andreas Sesing-Wagenpfeil |