08:00

Registration

09:00

Welcome

09:05

High assurance in Google connected products and AI

Dave Kleidermacher

VP Engineering, Security and Privacy for Android and Made-by-Google Products and Services

GenAI

Large Programmes

09:50

AI for Formal Verification and Formal Verification for AI

David Dalrymple

Programme Director at ARIA

Computing Engineering that was "Sliced Bread" but turned into "Toast"

Paul Caseley

Dstl Fellow

10:20

Refreshments & Exhibition

11:00

The BIG Argument for AI Safety Cases

Ibrahim Habli

Professor, University of York

Richard Hawkins

Associate Professor, University of York

Propagation of best practice for multicore interference analysis between aerospace and automotive domains

Dr. Sam Thompson

Multicore Engineering Team Lead, Rapita Systems

11:35

Proving Reliability of Machine Learning using Explainable AI

Dene Brown

Software Engineer, SysAda Limited

Digital (especially AI) is used everywhere, so we need proper digital regulation

Harold Thimbleby

Emeritus Professor Computer Science, Swansea University

12:05

Lunch & Exhibition

13:20

Keynote

To be confirmed

Cyber

Tools & Techniques

14:05

Sonata™: A platform for high-integrity operational technology

Dr Marno van der Maas

Principal Hardware Engineer, lowRISC

Fearless optimization and formal verification of post-quantum cryptographic code at AWS

Rod Chapman

Senior Principal Applied Scientist, AWS

14:40

Bridging Cybersecurity and Safety in Ongoing Mission-Critical Programmes: Real-world Challenges and an Integration Workflow

Zoe Smith

Engineering System Owner Software and Cyber, Submarine Delivery Agency

Nagaratna Hegde

Software Safety and Cybersecurity Consultant, Sanvi Software Limited

Dr Stephen Willoughby

Software Assurance Manager, Rolls-Royce Submarines

Saving Time, Reducing Cost, Increasing Quality - V&V la Revolution

Anthony Williams

Senior Safety Critical Software Engineer, Volant Autonomy

15:10

Tea & Exhibition

15:40

Implementation of CHERI capabilities in a safety-critical real-time operating system and Type-1 hypervisor for intelligent edge systems

Dmitriy Yeliseyev

Software Architect, Wind River

Maximizing the benefit from Alloy Specifications – Experiences from large project deployment

Dr Janet Barnes

Principal Software Engineer Capgemini Engineering

16:15

The Proof is in the Pudding: Why the Future has to be Verified

Dr Martin Dehnel-Wild

Chief Scientist, Kry10

Digital Security by Verification: Fuzz Testing on CHERI

João Azevedo

GNATfuzz Team Lead, AdaCore

16:45

Closing Remarks

17:00

Networking & Cocktail Hour

Sponsored by

AdaCore Capgemini

Official Media Partners

Aerospace Innovations eeNews Europe

Supported by

AdaCore
Ansys
Capgemini
DDC-I
Ferrous Systems
Green Hills Software
LDRA
Rapita Systems Ltd
RTI
Sysgo-VAPS
Vector
Wind River
wolfSSL