AdaCore co-organises and exhibits at the High Integrity Software Conference (HISC) 2026 in Birmingham, UK

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 his-conference.co.uk

About AdaCore:

For over 30 years, AdaCore has helped people build software that matters. AdaCore provides tools for high-integrity development in Ada, SPARK, C, C++, and Rust.

We build our toolchains to meet the most rigorous standards so you can focus on your code and reach your certification goals. AdaCore supports high-integrity industries by offering compiler toolchains and analysis tools, along with certification evidence for compliance with industry standards.

We have world-leading experts in Static Analysis Testing and Dynamic Analysis Testing. AdaCore’s Static Analysis capabilities consist of GNAT Static Analysis Suite for automatic analysis of high-integrity Ada code, and CodeSonar® for powerful static analysis of C/C++ and other languages. The Dynamic Analysis Suite comprehensively supports Ada users, encompassing metrics computation, coding standard verification, cybersecurity vulnerability scanning, and high-assurance verification.

With a commitment to long-term support, AdaCore ensures the continuity and reliability of its toolchains for decades to come. Visit: https://www.adacore.com

About the High Integrity Software Conference (HISC):

The High Integrity Software Conference (HISC) is an annual UK event where software engineering practitioners share challenges, best practices, and experience in building trustworthy software across industry sectors. HISC is sponsored and organised by AdaCore, Capgemini, and Rapita Systems. More information can be found at: his-conference.co.uk