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:

• Industrial experience: reports based on industrial experience of high-integrity or high-assurance software development
• High-TRL 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

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.

Themes

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:

• Programming languages
• AI-assisted software development
• Verifiable code generation

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

• Verification of AI/ML-based applications and application of ML to verification
• Verification of cryptographic software
• Scalability of verification tools and methods

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

• Assurance of software supply chains
• Novel assurance techniques
• Agility & accelerated assurance

Infrastructure & Ecosystem for high-integrity software, including:

• DevSecOps & CI/CD for safe & secure systems
• Complexity at scale: size, mixed integrity levels, mixing COTS & bespoke software
• Leveraging hardware innovations in high-integrity applications

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

• 6th March: CfP Opens
• 12^th June: *Extended* Deadline for submissions
• 30th June: Notifications sent
• 2nd October: Presentations ready
• 17th October: Conference

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