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 | Optimality-preserving Reduction of Chemical Reaction Networks | Mirco Tribastone, Daniele Toller, Kim Larsen, Max Tschaikowski, Andrea Vandin |
| 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 |