International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Opening/Introduction | |
| 11:05 | From Runtime Verification to Model-based Diagnosis | Alessandro Cimatti |
| 11:30 | When Classical Risk Models Meet AI: Fault Tree Analysis for AI Systems | Nazareno Garagiola, Hanwei Zhang, Holger Hermanns |