International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | White-box validation of collective adaptive systems by statistical model checking and process mining | Roberto Casaluce, Max Tschaikowski, Andrea Vandin |
| 09:30 | Analysing collective adaptive systems by proving theorems | Cosimo Perini Brogi, Marco Maggesi |
| 10:00 | Engineering Ethical-aware Collective Adaptive Systems | Martina De Sanctis, Paola Inverardi |