Die ITI IRMIA++ Summer School findet vom 31. August bis zum 4. September 2026 in Straßburg statt und bietet eine Einführung in Beweisassistenten und deren Anwendungen für Studierende der Mathematik, Physik und Informatik. Die kostenlose Registrierung ist bis zum 10. Juli 2026 möglich.