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 | Composition and Merging of Assume-Guarantee Contracts Are Tensor Products | Inigo Incer |