International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Opening | |
| 14:40 | LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays | Colm Brandon, Eanna Fennell, Amandeep Singh, Tiziana Margaria |
| 15:20 | A discussion on the possible formal methods needed for the primary and secondary use of personal health records owned by individuals | Gunnar Piho |