On January 8-9 I am attending Convegno PRIMI 2026 in Udine, where I have given the talk L’automazione dell’intuizione: Proof Assistant e AI nella Pratica Matematica Moderna.