International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | From Contract-based Design to Digital Twin - an Industrial Perspective (Keynote) | Cristina Seceleanu |
| 09:45 | Contracts as a Notion of Consistency for Digital Twins |