International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | (How) Do LLMs Understand Message Sequence Charts | Mohammad Reza Mousavi |
| 15:00 | A system dynamics approach to modeling trust dynamics in conversational AI | Tabea Berberena, Ivan Dula, Maria Wirzberger |
| 15:30 | Extending the Isabelle Insider and Infrastructure framework by Generative AI using Formal Refinement and Semi-formal Prompt Refinement in Claude Code | Florian Kammueller |