AdaCore is co-organizing and exhibiting at the High Integrity Software Conference (HISC) 2026, taking place on Tuesday, October 13, at The Vox in Birmingham, alongside fellow organizers Capgemini and Rapita Systems.
As a provider of software development and verification tools for safety-critical and high-integrity systems, AdaCore is supporting a conference that brings together practitioners, decision-makers, and researchers from industry, government, and academia across the UK and Europe.
The 2026 conference program addresses generative AI and AI safety, challenges in large programs, cybersecurity, and tools and techniques. Plenary speakers include Ollie Whitehouse, Chief Technology Officer of the UK National Cyber Security Centre (NCSC), alongside representatives from HS2 Ltd and the Defence Science and Technology Laboratory (Dstl).
Within the Trusted AI Systems track, Mark Hermeling, Head of Product Marketing at AdaCore, will present a session titled “Agentic AI workflows to build high-integrity software backed by formal methods.” The presentation will explore how AI agents can be combined with deterministic verification tools, including formal proof and static analysis, so that AI-generated code can be checked against evidence rather than accepted on trust.
Hermeling commented, “I am especially looking forward to the HISC conference. I get to present to experienced practitioners on AdaCore’s experiences with AI and formal methods, and on Rust’s advances in safety-critical software. The full programme is packed with quality presenters, and sessions are heavily focused on safety and AI from multiple perspectives. Industry practitioners present on challenges and solutions in their respective industries, and vendors provide a perspective on what is on the horizon to address these challenges.”
Paul Butcher, Unit Director at AdaCore, added, “HISC is where the people responsible for the UK’s most critical software come together to compare notes, and we are proud to help organize it again. This year, the conversation turns to AI. Our view is that AI can speed up development, but in safety-critical systems, it has to be paired with tools that provide deterministic evidence that the code is correct. We look forward to exploring that balance with attendees in Birmingham.”
The day prior to the main conference, on Monday, October 12, the High Integrity Software Lab will connect people early in their high-integrity software careers with senior industry leaders. Experts from AdaCore and Rapita Systems will lead a workshop on assurance planning for verification, while Capgemini experts will lead a workshop on requirements engineering for high-integrity systems.
