International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Tue, 27.10 11:00 | Room 3 | Generative AI for Automotive Applications - Part 1 |
| Tue, 27.10 13:30 | Room 3 | Generative AI for Automotive Applications - Part 2 |
| Fri, 30.10 11:00 | Room 2 | Adaptive Generative AI for Human-Centered CPS |
| Fri, 30.10 14:30 | Room 2 | Neuro-Symbolic and Agentic AI Safety and Security Assurance |
| Fri, 30.10 16:30 | Room 2 | Robust Generative AI for Safe Decision Making |