Call for Presentations

The mission of the High Integrity Software Conference is to share challenges, best practice and experience between software engineering practitioners. The conference features talks from industrial and academic specialists which disseminate experience and knowledge of important techniques and methods that are applicable across industry sectors.

The Programme Committee would like to invite proposals for technical track talks for HISC 2025 via a CfP (Call-for-Presentations) system, further details of which are provided below.

Types of presentation

The following types of presentations are invited for the HISC 2025 technical tracks:

• Industrial experience: reports based on industrial experience of high-integrity and high-assurance software development
• High-Technology Readiness Level (TRL) Research and Design (R&D): presentations of technologies that support high-integrity software development and are available or close to being available in an industrial setting
• Challenges: talks about fundamental challenges being faced by the high-integrity software industry - technological or otherwise - and potential solutions

Please note: these technical presentations are not for promoting specific vendor products or services; if you want to advertise a product via an exhibition booth, sponsorship or a Spotlight talk, please see the information provided on the Exhibitors page.

Themes

At the end of last year’s conference, the panel discussed the trade-off between risk and reward in the high-integrity software domain. The overwhelming view of the conference was that we as an industry need to be bolder and more innovative with our approach. This year’s conference themes will pick up this “call to arms” by addressing the overarching need to be innovative with our approach - a need to do things differently in order to accelerate the pace of development and better position us to respond to global risks.

The Programme Committee would like to invite presentations on the following themes for HISC 2025:

The application of Generative AI to the development of dependable software:

• Opportunities of GenAI: novel applications, responding to urgent operational needs
• GenAI in the early lifecycle phases: requirements, specification, modelling
• GenAI applied to assurance activities: verification, testing, reviewing
• Risks specific to GenAI and how these can be mitigated
• Case study reports of successful application of GenAI-based tools
• Combination of GenAI and other technologies (formal methods, knowledge/semantic models)

Enhancing cybersecurity for critical applications:

• Cybersecurity as a system property
• The role of the “cyber-informed engineer”
• Developments in standards and regulation
• Formal-methods & analysis techniques

Novel tools & techniques:

• Hardware protection mechanisms
• Programming language innovations
• Static analysis
• Dynamic analysis

Challenges in global partnerships & large programmes:

• Supply-chain management
• International programmes and national requirements and regulations
• Cloud hosting vs data residency & sovereignty
• Promotion of cross-industry good practice

Format of Submissions

Submission requires you to write a short abstract/synopsis of the presentation you wish to propose for the conference. This abstract will be used as a basis for the Programme Committee to assess your proposal, and how well it is aligned with the objective and themes outlined above. If successful, it will also be included in the conference programme.

Submission Process

Key dates in the CfP process are as follows (all in 2025):

• 31st March: CfP Opens
• 31st May: Deadline for submissions
• 30th June: Notifications sent
• 31st October: Presentations submitted
• 13th November: Conference

For more details and to submit your proposal please go to the CfP.

Programme Committee

Adam, NCSC
Mike Bennett, Rolls-Royce
Paul Butcher, AdaCore (Co-Chair)
Philippa Broadfoot, Cocotec
Lucia Capogna, SYSTRA UK and Ireland
Stuart Matthews, Capgemini Engineering (Co-Chair)
Mike Standish, Dstl

Terms & Conditions

By submitting a proposal you agree to the following terms & conditions:

Any request to substitute the speaker(s) after submission will be decided at the discretion of the programme committee.