International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Fenced AI Programming: An Industrial Pattern for LLM Assistance in Safety-Critical Formal Projects | Thierry Lecomte |
| 15:00 | Adversarial Development of Component Based Systems using AI | Klaus Havelund |
| 15:30 | Testing Robustness of Generative AI Systems | Dejan Nickovic |