International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | AMADEUS: A Conceptual Framework for Integrating Agentic AI into Model-Based Systems Engineering | Nick Wiele, Denny Marx, Martin Wirsing |
| 11:30 | AI in the Software Development Life Cycle - a report from industry | Dennis Dams |
| 12:00 | KISS Sorcar: A Stupidly-Simple General-Purpose and Software Engineering AI Assistant | Koushik Sen |