International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | On using large language models pre-trained on digital twins as oracles to foster the use of formal methods in practice | Serge Autexier |
| 15:00 | Cloud Continuum Digital Twins: Models, Open Technical Challenges, and Lessons Learned | Paolo Bellavista, Andrea Garbugli |
| 15:30 | (Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap | Hussein Marah, Moharram Challenger |