AdaCore Co-Organises and Exhibits at the High Integrity Software Conference 2026 in Birmingham

AdaCore joins Capgemini and Rapita Systems to organize HISC 2026 at The Vox in Birmingham on 13 October, and will present a session on agentic AI workflows backed by formal methods.

AdaCore, a provider of software development and verification tools for safety-critical and high-integrity systems, is looking ahead to the High Integrity Software Conference (HISC) 2026. The conference takes place on Tuesday, 13 October 2026 at The Vox, Birmingham. AdaCore organizes HISC alongside Capgemini and Rapita Systems.

HISC brings together software engineering practitioners, decision-makers, and researchers from industry, government, and academia across the UK and Europe. The 2026 program covers 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 speakers from HS2 Ltd, and the Defence Science and Technology Laboratory (Dstl).

AdaCore session on AI and formal methods

Mark Hermeling, Head of Product Marketing at AdaCore, will present "Agentic AI workflows to build high-integrity software backed by formal methods" in the Trusted AI Systems track. The session will look at how AI agents can be paired with deterministic verification tools, such as formal proof and static analysis, so that AI-generated code is checked against evidence rather than accepted on trust.

Mark says,
“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.”

High Integrity Software Lab

The day before the conference, on Monday, 12 October, the High Integrity Software Lab connects people early in their high-integrity software careers with senior industry leaders. AdaCore and Rapita Systems experts will lead a workshop on assurance planning for verification, while Capgemini experts will lead a workshop on requirements engineering for high-integrity systems.

“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," said Paul Butcher, Unit Director, AdaCore. "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."

Registration
Registration for HISC 2026 is open at https://www.his-conference.co.uk/