Call for Presentations

*Presentation submissions for HISC 2023 are now closed*

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 conference is now in its 10th year, and for the first time we will be inviting proposals for talks via a Call for Presentations.

Types of presentation

The following types of presentation are invited:

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


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

Advanced software development for high-integrity and high-assurance systems, including:

Verification of novel, high-integrity and high-assurance systems, including:

Assurance of high-integrity, high-assurance systems, including:

Infrastructure & Ecosystem for high-integrity software, including:

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 2023):

Programme Committee

Stuart Matthews, Capgemini Engineering (Co-Chair)
Paul Butcher, AdaCore (Co-Chair)
Mike Bennett, Rolls-Royce
Philippa Hopcroft, Cocotec
Martin, NCSC
Paul Parkinson, Wind River
Mike Standish, Dstl

Sponsored by

Supported by