AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016. The conference programme can be found at
www.his-2016.co.uk/programme; it covers many topics including security, autonomy, standards and techniques & tools.