International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Reason-based Normative Reinforcement Learning: Embedding Defaults into the Reward Structure via Reward Machines | Yannic Muskalla, Lisa Dargasz, Felix Jahn |
| 11:30 | Responsible Conversational AI: Shifting Focus from Alignment to Gatekeepers | Ron Aboodi |
| 12:00 | Synthesizing Moral Reasoning Theories from Live Audience Judgments: An interactive session with the AISoLA-RTAI Community | Lisa Dargasz, Felix Jahn, Yannic Muskalla |