International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Stitching social robots: Fostering Youth Critical AI Engagement through Tangible and Digital Co-Creation | Xiaoyu Wang, Anna Keune |