• Select your website

20 September 2016

AdaCore and Altran to sponsor High Integrity Software Conference

AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016.

Following a successful conference in 2014 and 2015, organisers the University of Newcastle, AdaCore and Altran have once again compiled a complete technical programme (available at www.his-2016.co.uk/programme) to be delivered by prominent academic and industrial experts, covering topics including security, autonomy, standards and techniques & tools. This programme will be complemented by keynote talks discussing two of the high-integrity software community’s most debated topics: Reasoning with Big Code from Dr Dino Stefano of Facebook and An Alternative Approach to DO-178 from Duncan Brown of Rolls-Royce.

The conference has gone from strength to strength since its inauguration in 2014. As well as the sponsorship of organisers AdaCore and Altran, this year it will benefit from the additional official support of key players BAE Systems and Jaguar Land Rover – a vote of confidence in the conference’s important objective of sharing best practice in the context of today’s increasing reliance on software in performing critical industrial tasks.


Learn more about SPARK, the foremost language, toolset and design discipline for the engineering of high assurance software.