International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Hippo and CincoDeBio: A case study in facilitating Biomedical Image analysis using Low-Code/No-Code | Brandon, Eanna Fennell |
| 11:30 | Needs-based education and training for LC/NC | O'Brien, Margaria |
| 12:00 | STEM education for forcibly displaced children | Saay, Margaria |