International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Responsibility Attribution for AI-mediated Damages | Lena Kästner, Herbert Zech, Johann Cordes |
| 11:30 | Bridging Theory and Practice: Insights from Expert Dialogues on Human-Centred AI in Healthcare | Larissa Schlicht |
| 12:00 | AI Act for the Working Programmer | Hanwei Zhang, Holger Hermanns, Philipp Meinel, Anne Lauber-Rönsberg, Sarah Sterz |
| 12:30 | Psychological processes in adaptive user interfaces: The role of perceived autonomy | Sarah Sterz, Markus Langer, Cedric Faas, Anna M. Feit |