International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Healing Roots: Women and Traditional Medicine in Irish Folklore | Julien Santos de Mello |
| 14:55 | A Layer-Decomposed Error Metric for Diagnosing Arabic OCR | Omayma el haji |
| 15:20 | From Pipeline to Building Blocks: Digitising a Century of Statistical Abstracts as Reconfigurable SIB Workflows | Sebastian Teumert |