International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:25 | Opening | Sven Jörges, Salim Saay, Steven Smyth |
| 14:30 | Integrating AI/ML in Domain-Specific Contexts: The Role of Low-Code Platforms in Enhancing Workflow Efficiency and Accessibility | Amandeep Singh |
| 14:50 | The AI integration for Customized Medical Industrial Applications and Robotic Solutions with a Low Code/No Code GUI | Grzegorz Mocha |
| 15:10 | AI and XMDD Driven Approach to Automating the Quality Evaluation of Web-Based Health Information | Colm Brandon |
| 15:30 | Towards X-as-Models in the Context | Sebastian Teumert |