The Online Public Ada Training will take place on May 3 - 7. Learn how to use the #Adaprogramming language for sequential and concurrent applications, through a combination of live lectures from experts and hands-on workshops! Visit adacore.com/events/public-… for more info!

Today at 2 pm ET, Ben Brosgol and other #FACE™️ members and #avionics software experts will get together to discuss porting safety-certified software and the Future Airborne Capability Environment (FACE™)Technical Standard. Register here: r.adaco.re/kp pic.twitter.com/lSvvsKqanx

Ada has a concurrency construct known as “entry families” that, in some cases, is just what we need to express a concise, clear solution. Check out our latest blog post to learn more about it: blog.adacore.com/on-the-benefit… #adaprogramming

Check out our latest blog post "From #Rust to SPARK: Formally Proven Bip-Buffers" a formally proven Ada/SPARK implementation. blog.adacore.com/from-rust-to-s… @DesChips #Adaprogramming

We are sponsors of the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) which will be held online from the 7th to the 10th of June, 2021. Register today: registration.ada-europe.org/index.html #Adaprogramming

The Ada 202x draft defines a new tasking profile named Jorvik, based directly on the standard Ravenscar profile. Jorvik relaxes certain restrictions in order to increase expressive power for real-time/embedded Ada and SPARK applications. blog.adacore.com/introduction-t… #Adaprogramming

The 13th @NASA Formal Methods Symposium took place this week & our very own @yannick_moy gave the talk "How the Analyzer can Help the User Help the Analyzer". Watch the replay here by skipping to 3:26:00 #formalmethods #Adaprogramming r.adaco.re/kr

We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features: blog.adacore.com/gnat-community… #Adaprogramming

ScaleUp360° OSS.5 Europe - the digital event on functional, operational, and systems safety of #autonomousdriving will take place on June 16-17. Quentin Ochem will present the keynote Self-Verified Software on June 16 at 2:30P.M CEST. Register today: r.adaco.re/ks pic.twitter.com/StKGVHjJqp

Formal program proof, a promising market according to @LesEchos! This article (French only) features @yannick_moy and other experts discussing Why3, the french platform for #softwareverification. r.adaco.re/kt #SoftwareEngineering #Softwaretesting #Softwaredevelopment

You’ve probably heard about #Ada but discounted it because, well, it isn't C. And why would you need to consider learning another #programminglanguage anyway? We'll bring you an article series that dives into Ada—from @AdaCoreCompany. bit.ly/3ibyYWd

Our @ADSgroupUK ADVANCE feature highlights the role of #OSS in supply chain management security - "#Opensource ecosystems foster a culture for transparency, where issues & vulnerabilities are discussed in the open, rather than hidden from view", p30-31 r.adaco.re/ku

#wearehiring ! Would you like to join the AdaCore team? Check out our open job positions: adacore.com/company/careers #developer #programmer #crossengineer #embeddedsoftware #softwareengineer #devsecops #softwareengineering

Join us today for the #AdaEurope Conference #AEic2021! We'll be part of "Technical Session 6: Emerging applications with reliability requirements" at 2:45PM and Tucker Taft will present the keynote "A sampling of Ada 2022" at 3:30PM (CEST) istr.unican.es/ae2021/ #Adaprogramming

Join us today at 2:30 PM CEST for the digital keynote "Engineering: Self-Verified Software" by Quentin Ochem at ScaleUp 360° OSS.5 Europe - the event on functional, operational, and systems safety of #autonomousdriving. scale-up-360.com/en/oss5/ #softwareverification pic.twitter.com/p2pnA4iEKO

🏆🤩Bienvenue & Bravo au 1er #Champion2021_Systematic ! 👉🏆@AdaCoreCompany membre du @HubOpenSource du @Pole_Systematic Le jury a été impressionné notamment par leur expertise des logiciels critiques #opensource et leur capacité d'autofinancement ! pic.twitter.com/yA5f5fZNmh

When did you last look at Ada? Check out this thought-provoking blog post by Chris Hobbs, a reluctant Ada user who was asked this same question and for whom Ada is now his language of choice. devblog.blackberry.com/en/2021/05/lea… #Adaprogramming #programminglanguage

Download this report from @Gartner_inc to gain insight into the growing importance of application security testing and why it is becoming so critical. We support this by providing security-oriented features such as #fuzzing, static and dynamic analysis r.adaco.re/kv pic.twitter.com/v4zPNrFMKH

#Ada addresses one of the most vexing issues with #hardware updates: Creating portable code that can define data structures with a specific physical layout, insulated from problems caused by endianness differences. @AdaCoreCompany bit.ly/3wAx0Tv