International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Formal Validation and ERTMS Simulation | Lecomte |
| 11:30 | Securing automatic small railway vehicles using Automatic Train Protection | Collart-Dutilleul |
| 12:00 | An Integrated Perspective on the Evaluation of Complex Railway Systems | Fantechi, Basile, ter Beek, Carnevali, Chiaradonna, Di Giandomenico, Gori |