International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Attack Tree Generation via Process Mining | Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch Lafuente, Andrea Burattin |
| 17:00 | Local Spaces in Soft Concurrent Constraint Programming Oriented to Security | Stefano Bistarelli, Francesco Santini |
| 17:30 | Riding the data storms: specifying and analysing IoT security requirements with SURFING | Gian Luigi Ferrari, Francesco Rubino, Chiara Bodei |
| 18:00 | Closing | Rocco De Nicola |