2021 Programme

13:30

Exhibition & Networking

14:00

Welcome

14:05

NCSC and High Integrity Systems

Paul Waller

Head of Capability Research, National Cyber Security Centre

Paul Waller will present the work of the National Cyber Security Centre in the domain of high integrity systems.

Read More »

Innovations in Software Testing

15:45

Virtual Exhibition & Networking

Formal Methods for Trustworthy Systems

17:05

Closing Remarks

Sponsored by

AdaCore Capgemini Engineering

Supported by

Ansys
Core Avionics & Industrial Inc.
Green Hills Software
Harmonics
Lynx
Phaedrus
RTI
Phixos
SDC Systems
Vector
Wind River