International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | The Digital Humanities in the Age of AI | Stefano Ferilli |
| 11:30 | Automating Historical Record Transcription: A Low-Code/No-Code Framework for Domain Experts | Marco Krumrey, Daniel Sami Mitwalli, Sebastian Teumert |
| 12:00 | LC/NC as a new IT paradigm for handling and interoperability of historical data | Tiziana Margaria |