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
#HISConf22 #SPARKProgramming #ada #programming
"The ALiRe Package Manager": half-day #tutorial on tool for #AdaProgramming and #SPARKProgramming #OpenSource ecosystem, by @DesChips and @mosteobotic on Tue 14 June in #Ghent, #Belgium, ada-europe.org/conference2022…, registration.ada-europe.org https://twitter.com/DirkCraeynest/status/1534971028518096904 #ada #programming
#tutorial #AdaProgramming #SPARKProgramming #opensource #ghent #belgium #ada #programming