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's Call for Presentations for HISC 2024 has now closed.

Types of presentation

The following types of presentation are invited:

• Industrial experience: reports based on industrial experience of high-integrity and 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 has invited presentations on the following themes for HISC 2024:

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

• Programming languages
• Verifiable code generation
• Novel development techniques
• Techniques for enhanced productivity/efficiency of software development

Verification and testing of high-integrity systems, including:

• Scalability of verification tools and methods
• Verification of cryptographic software
• Testing & dynamic analysis
• Formal verification & static analysis techniques

Assurance of high-integrity systems, including:

• End-to-end assurance of software supply chains
• Novel assurance techniques
• Rapid evidence generation & certification
• Developments & trends in high-integrity software standards & certification

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
• Sustaining capability: recruitment, retention & training

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

The Deadline for submission has now closed.

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

• 27th March: CfP Opens
• *EXTENDED TO 14TH JUNE*: Deadline for submissions
• 30th June: Notifications sent
• 7th October: Presentations ready
• 22nd October: Conference

Programme Committee

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