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 »

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

Jun 16, 2025 —

Public Ada Training

For software professionals new to the Ada programming language, live, hands-on training with AdaCore’s expert instructors.

Posted on 2/24/2025

Sep 8, 2025 —

Public Ada Training

For software professionals new to the Ada programming language, live, hands-on training with AdaCore’s expert instructors.

Posted on 2/24/2025

Nov 13, 2025 — International Convention Centre Wales

High Integrity Software Conference 2025

AdaCore are co-sponsors, co-organizers and exhibitors at the High Integrity Software Conference.

HISC features high-quality content from experts in industry and academia who disseminate their knowledge of important and innovative techniques and methods that software engineers can apply in practice across industry sectors.

HISC will return on 13 November 2025. Registration opens on 31 March.

Posted on 3/4/2025