International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Opening | |
| 14:40 | TBA | 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 |