International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Once and for all: how to compose modules - The Composition Calculus | Peter Fettke, Wolfgang Reisig |
| 17:00 | RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice | Uwe Aßmann, Christian Gutsche |
| 17:30 | On architectural refinement of DEECo component architectures using LLMs | AMichalrmin Töpfer, Danylo Khalyeyev, Tomas Bures, Petr Hnetynka, Frantisek Plasil |