International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Model-Driven Data Privacy: Packaging Industrial PII Detection into Service-Independent Building Blocks | Gabriel Oyeyemi |
| 11:30 | Revisiting Agentic AI Workflows: Attacking Technical Debt in Java Codebases | Mats Kowalke |
| 12:00 | The Hidden Domain Model: A Generative Benchmark for Domain Model Reconstruction from Incomplete Requirements | Manthan Venkataramana Shenoy |