International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | What Is AI Ethics, and What Is It Good for? | Astrid Schomäcker, Luca Deck, Hanwei Zhang, Lena Kästner, Timo Speith, Thorsten Helfer |
| 11:30 | A Multirisk Perspective on AI Risks | Daniele Chiffi, Giacomo Zanotti, Viola Schiaffonati |
| 12:00 | The Purpose of AI Systems and AI Models under the EU AI Act | Andreas Sesing-Wagenpfeil |
| 12:30 | Rethinking Authorship in Language Model Machine-Generated Texts through Foucauldian Perspectives | Paschal Ukpaka |