International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | First results of GREATLEAP: A COST-Action network for studying historical inequalities in health | Tim Riswick |
| 09:30 | Visualising death in the city of Porto, 1860-1870. First steps and challenge | Paulo Teodoro de Matos, Diogo Paiva |
| 10:00 | Leveraging AI in Academia | João Rocha Gomes |