International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Attributed Point-to-point Communication in R-Check | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 15:00 | Local Reasoning and Attribute-based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems | Michele Pasqua, Marino Miculan |
| 15:30 | Closing | Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone |