International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Mon, 26.10 09:00 | Room 3 | Contracts (Volker Stolz) |
| Mon, 26.10 11:00 | Room 3 | Systems and Digital Twins (Eduard Kamburjan) |
| Mon, 26.10 14:30 | Room 3 | AI and Digital Twins (Martin Leucker) |