News

Press Releases

See More »

SPARK and Rust Take Center Stage for AdaCore at Embedded World 2025

AdaCore, a leader in high-integrity software development tools, is excited to announce its participation in Embedded World 2025, which will take place from March 11th to 13th in Nuremberg, Germany. This year, AdaCore will showcase its cutting-edge solutions for safety and security-critical embedded systems, with a special focus on SPARK and Rust technologies.

Posted on 2/7/2025

AdaCore In the Press

See More »

Upcoming Events

See More »

Mar 6, 2025 — Online Briefing

What's New in GNAT Pro: Key Features and Roadmap

Learn about our 25 release including highlights of key features - plus a taste of our roadmap.

Featuring expert presentations on:

  • Toolchain and Targets
  • Rust
  • GNAT fuzz (Dynamic Analysis Suite)
  • GNATformat (User Experience)
  • GNATcheck (Static Analysis Suite)
  • Vscode (User Experience)
  • Ada Language Features
  • Roadmap: AI and Innovation
Posted on 2/18/2025

Mar 11, 2025 — Nuremberg, Germany

Embedded World Europe

AdaCore will be exhibiting at Embedded World Europe in Nuremberg, Germany on 11 - 13 March 2025. Meet us at Booth 4-148 to discover demonstrations and talk to our experts about high-integrity technologies including Ada, SPARK, C/C++, Rust and more.

Posted on 11/8/2024

May 14, 2025 — Nashville, Tennessee

Army Aviation Mission Solutions Summit

Meet AdaCore at Booth 3015 at the Army Aviation Mission Solutions Summit, an annual event where the entire Army aviation community gathers to focus solely on Army aviation issues. Speak to your Account Manager to set up a meeting with our team.

Posted on 2/18/2025