International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | A Framework for the Development of Verified Scalable Parallel Functional Languages | Frédéric Loulerge, Jordan Ischard |
| 15:00 | A Theory of Probabilistic Contracts | Anton Hampus, Mattias Nyberg |
| 15:30 | Some Mathematical Aspects of Contracts | Inigo Incer |