International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | When AI Changes the Work We Sell — A Software Consultancy’s Perspective (Keynote) | Steve Haupt |
| 09:45 | Human-AI Collaboration for Scaling Agile Regression Testing: An Agentic-AI Teammate Evaluation | Moustapha El Outmani |