Talks/EACA 2025/[EACA 2025] Formality of a K3 surface from a computational viewpoint.pdf