International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | AI-Assisted Development of Semantics for Graphical DSLs Using Documentation-Driven Skills | Daniel Sami Mitwalli |
| 11:25 | LCNC Engineering for ML-Enabled Digital Thread Implementation in Advanced Manufacturing | Bekan Mekonen |