International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Flocks of Birds: A Quantitative Evaluation | Emilio Incerto, Catia Trubiani |
| 16:55 | Towards a probabilistic programming approach to analyse collective adaptive systems | Luca Bortolussi, Francesco Randone, Romina Doz, Francesca Cairoli |
| 17:20 | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi, Fantechi, ter Beek |
| 17:45 | A Process Algebraic Theory of Reversible Concurrent Systems | Marco Bernardo |