Another industrial user of the #AdaProgramming language. adacore.com/papers/ada-at-…

Another success story for the #AdaProgramming language, now in the domain of industrial real-time management and production systems. twitter.com/AdaCoreCompany…

@embedsys @adaprogrammers The #AdaProgramming language not only shines in low-level applications (cf section 1.2), but also in many other domains such as control systems, and large and/or complex and/or long-lived systems. Ada truly shines as a general-purpose language!

Code in #AdaProgramming language for #climate modeling twitter.com/WHUT/status/15…

@JeremyGrosser won the Best Presentation Award for his talk on this topic at #AdaEurope's Int'l Conference on Reliable Software Technologies #AEiC2022, held mid June in #Ghent, #Belgium. Congratulations! ada-europe.org/conference2022… twitter.com/JeremyGrosser/…

Room filling at #AEiC2022 for keynote by Prof. Cristina Lopez on "The Curious Case of Code Duplication in GitHub". pic.twitter.com/HaWh8JHrjI

View from the #AdaProgramming tutorial room at the #AdaEurope 2022 conference #AEiC2022 pic.twitter.com/s0793VfYZY

"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