International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Towards Robust and Safe Decision-Making under Uncertainty: A Model-Centric View | Ezio Bartocci, Milan Češka, David Hudák, Petr Novotný, Martin Tappler |
| 11:30 | Realisability-Driven Repair of Natural-Language Requirements via Neuro-Symbolic Reasoning | Tianhai Liu, Andreas Bremer, Ivan Panov, Alexander Weigl, Shmuel Tyszberowicz, Bernhard Beckert |
| 12:00 | Compliant-by-Construction Hybrid Medical AI Workflows via Located Task Graphs | Vincenzo Ciancia, Emilio Tuosto |