Thrilled to be a lecturer at the Summer School of Logic of the Associazione Italiana di Logica e sue Applicazioni! The school is held at the Villaggio Olimpico of Bardonecchia, in the Italian Alps, from August 31 to September 5, 2026. My course is on Proof Theory, Type Theory, Proof Assistants and AI, covering the path from the theoretical foundations (typed λ-calculus, dependent types, the λ-cube) to modern proof assistants and their integration with AI. It is always exciting discussing with students and fellow researchers!