International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Room | Session |
| Sun, 27.10 09:00 | Room 2 | Maintainable Tests |
| Sun, 27.10 11:00 | Room 2 | Trusted Distribution |
| Sun, 27.10 14:30 | Room 2 | Digital Twins |
| Sun, 27.10 16:30 | Room 2 | Discussion |