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, Franzesco Tiezzi, Michele Loreti, Gian Luigi Ferrari, Rosario Pugliese, Emilio Tuosto |
| 10:00 | Formal approaches for modeling and analysis of business process collaborations | Andrea Vandin, Franzesco Tiezzi, Federico Rossi, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re |