Explore how Rust is shaping the future of space exploration! Missed our live session on “Navigating Mars with Rust”? You can now watch it on demand. Discover how Rust is enabling high-assurance software for space missions, with insights into its reliability, safety, and performance benefits for critical systems. 👉 Sign up to watch now: bit.ly/3IJWLMk #RustLang #SpaceTech #HighIntegritySoftware

This year's virtual #HISConf20 is starting now. We hope you are able to join us and hear from our expert speakers on how to continue #innovation in the face of global challenge. #HighIntegritySoftware @Altran_UK @AdaCoreCompan... x.com/HIS_Conf/status/132870… #ada #programming

This year's virtual #HISConf20 is starting now. We hope you are able to join us and hear from our expert speakers on how to continue #innovation in the face of global challenge. #HighIntegritySoftware @Altran_UK @AdaCoreCompany @EandTmagazine @TheIET

Have a great #HISConf2019! Don't miss @ldra_technology's Andrew Banks, presenting on #MISRAC in an #ISO26262 context. Congrats to LDRA for its sponsorship. @HIS_Conf #safesoftware #securesoftware #highintegritysoftware

Looking forward to attending the High Integrity Software Conference tomorrow @HIS_Conf #safesoftware #securesoftware #highintegritysoftware

Less than 2 weeks to go until #HISConf2019. Join us in sharing experience and know-how to build the foundations of a trustworthy software ecosystem for the future! If you haven't already, register day - his-2019.co.uk/registration. #safesoftware #securesoftware #highintegritysoftware