International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | The ProbInG Project: Computing Automatically Invariants for Probabilistic Loops | Ezio Bartocci |
| 11:25 | Preventing Out-of-Gas Exceptions by Typing | Luca Aceto, Daniele Gorla, Stian Lybech |
| 11:50 | Strategies in spatio-temporal logics for multi-agent systems | Anna Labella, Paolo Bottoni, Giuseppe Perelli |
| 12:15 | Session 6 Closing Remarks | R. Each |