News

Press Releases

See More »

Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defense system

Posted on 7/19/2022

AdaCore In the Press

See More »

Upcoming Events

See More »

Sep 27, 2022 — Dayton, OH

FACE™ and SOSA™ Technical Interchange Meeting (TIM)

AdaCore will be exhibiting at this one-day event hosted by the U.S. Air Force. Technology Interchange Meetings (TIM) allow DoD, Industry, and Academia to collaborate on Research and Engineering technology challenges.

Posted on 3/16/2022

Oct 14, 2022 — Ann Arbor, Michigan

HILT Workshop 2022

AdaCore will be actively participating in this year's HILT Workshop. Held every two years and sponsored by SIGAda, the workshop focuses on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. This year's event will be held in Ann Arbor, Michigan, in conjunction with the 2022 Automated Software Engineering conference (ASE'22).

Posted on 4/11/2022

Nov 8, 2022 — Atlanta, GA

Aerospace Tech Week Americas

AdaCore will be exhibiting at Aerospace Tech Week's inaugural event in the Americas. This conference and exhibition will offer an exclusive focus on the Americas developments for the commercial, defense, and bizjet aerospace tech sectors.

Posted on 3/16/2022