I am honored to be invited to lecture at the upcoming AILA Summer School 2026, organized by the Associazione Italiana di Logica e sue Applicazioni. The school will take place in Bardonecchia from August 31 to September 4, 2026. My course will be on Type Theory, Proof Assistants and AI; more details on the course syllabus will follow soon.