International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 08:55 | Opening | Martin Wirsing, Mirco Tribastone |
| 09:00 | Homage to Rocco De Nicola: Systems Security Modeling and Analysis at IMT Lucca | Mirco Tribastone |
| 09:30 | Klaim in the making | Lorenzo Bettini, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese, Franzesco Tiezzi, Emilio Tuosto |
| 10:00 | Formal approaches for modeling and analysis of business process collaborations | Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Federico Rossi, Franzesco Tiezzi, Andrea Vandin |