International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 08:55 | Opening | Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone |
| 09:00 | Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code | Khalid Bourr, Lorenzo Bettini, Franzesco Tiezzi |
| 09:30 | Exploring robustness in reaching consensus in robot swarms with disruptive individuals | Julia Klein, Tatjana Petrov |
| 10:00 | Towards Real-Time Aggregate Computing | Giorgio Audrito, Ferruccio Damiani, Gianluca Torta |