International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Contract-LIB: A Proposal for a Common Interchange Format for Software Systems Specification | Gidon Ernst, Mattias Ulbrich, Wolfram Pfeifer |
| 11:30 | Context-Aware Contracts as a Lingua Franca for Behavioral Specification | Marco Scaletta, Reiner Hähnle |
| 12:00 | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems | Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke |