The ITI IRMIA++ Summer School will take place from August 31 to September 4, 2026, in Strasbourg, providing an introduction to proof assistants and their applications for students in mathematics, physics, and computer science. Free, mandatory registration for the event is open until July 10, 2026.