Our very own @yannick_moy talks pushing the boundary of automating program proof to address the challenge of creating a verifying compiler. #HISConf22 @HIS_Conf #SPARKprogramming pic.twitter.com/8FUj2pIgNT https://twitter.com/AdaCoreCompany/status/1579835561883635714 #ada #programming

What a great turn out for this year's @HIS_Conf💥!! Sharing software engineering insights and best practice with the HIS community is what it's all about, and it's great to be back! #HISConf22 #softwareengineering #softwaredevelopment pic.twitter.com/tL https://twitter.com/AdaCoreCompany/status/1579818351983218688 #ada #programming

We're delighted to be sponsoring the @HIS_Conf once again, which is making its long awaited physical comeback this year! Register today to secure the early bird rate, available until July 31st. #HISConf22 highintegritysoftware2022.com pic.twitter.com/3Qrv https://twitter.com/AdaCoreCompany/status/1542803952328122369 #ada #programming