This year's programme offers a wide and diverse selection of talks on building trustworthy software for embedded, connected and infrastructure systems across a range of application domains. Our keynotes include:


DO-178C and the Overarching Properties Initiative

George Romanski

Chief Scientific and Technical Advisor, Computer Aircraft Software at the Federal Aviation Administration


Lessons will be Avoided: A critical perspective on software development not having learnt from mistakes

Les Hatton

Emeritus Professor of Forensic Software Engineering at Kingston University UK

The full Programme for 2019 is still in development. See our programme from last year's event.

Event Organisers

AdaCore Altran

Corporate Supporters

Jaguar Land Rover BAE Systems

Exhibitors & Sponsors