International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | DAOMod: A Model-Driven Method For Decentralized Autonomous Organization Development | Sowelu Avanzo |
| 16:50 | Towards Practical Applications of Active Automata Learning for Software Development | Marco Krumrey |
| 17:10 | Live Metamodeling in Cinco Cloud: Interpreting Metamodels of Graphical DSLs | Daniel Sami Mitwalli |
| 17:30 | Discussion | Sven Jörges, Salim Saay, Steven Smyth |