Die Proceedings der sechsten ITP-Konferenz aus Nanjing präsentieren innovative Ansätze zum interaktiven Theorembeweis, von neuen Beweissystemen über formale Verifikationen bis hin zu Anwendungen in sicherer Softwareentwicklung und künstlicher Intelligenz.