HIS 2017 Mark Batty-Industrial concurrency specification for C/C++
HIS 2017 David Oswald- Your car is not a safe box - breaking automotive keyless entry systems HIS 2017 Paul Sherwood- towards trustable software
HIS 2017 Robert Martin- assured software a journey and discussion-final
HIS 2017 Marie Moe- Unpatchable-Living with a Vulnerable Implanted Device
HIS 2017 Jonathan Pallant- Delivering quality, time after time
HIS 2017 Peter Ladkin- Rigorous-Assurance Points in Software Development HIS 2017 Dewi Daniels- bridging the gap between manned and unmanned HIS 2017 Roderick chapman- Secure Updates for Embedded Systems
AdaCore Paris Tech Day 2016: Jose Ruiz - QGen Tech Update AdaCore Paris Tech Day 2016: Jerome Lambourg - Cross and BareBoard Team Inside Out AdaCore Paris Tech Day 2016: Eric Perlade - Verification Solutions AdaCore Paris Tech Day 2016: Elie Richa - Integrated Unit Testing for a Trusted Code Generator AdaCore Paris Tech Day 2016: Pierre-Marie Rodat - Libadalang, New Generation of Ada Tooling AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Ahead 
