International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Certifiable Neuro-Symbolic Generative AI for Cyber-Physical Systems | Francesca Cairoli |
| 15:00 | Agentic Model Checking | Youcheng Sun |
| 15:30 | Policy-as-Code Authorization for Multi-agentic Pipelines in Security Operations Centers | Ekaterini Gougousi, Anna Gazani, Spyridon Kounoupidis, Miltiadis Siavvas, Panagiotis Katsaros |