High Integrity Software Conference 2026

About this event

High Integrity Software Conference brings together engineers building and assuring dependable software for critical systems. The current programme covers formally verified microkernels, embedded AI toolchains, avionics security, Rust medical-device firmware with hardware-in-the-loop testing, runtime assurance, and AI-assisted development and testing. Three parallel technical tracks run alongside keynotes on software security and software-intensive infrastructure.