International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Sun, 25.10 09:00 | Room 3 | Formal verification of interlocking |
| Sun, 25.10 11:00 | Room 3 | Testing and AI support |
| Sun, 25.10 14:30 | Room 3 | ETCS ecosystem |
| Sun, 25.10 16:30 | Room 3 | Non functional requirements |