News

Jul 8, 2025 — Online

Webinar: Navigating Mars with Rust

Learn why everyone’s talking about Rust and explore this language’s impressive capabilities.

How easy is it to start building in Rust? We’re putting Rust to the test by creating a navigational re-routing system for a M.A.R.S. Rover robot. Click to register to attend online and receive your access link.

Sep 8, 2025 —

Public Ada Training

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

Sep 16, 2025 — Denver, Colorado

AdaCore Tech Day Denver

Join high-integrity software engineers from across North America for AdaCore Tech Day in Denver. Attend technical briefings, watch live demos and engage in conversations with other software engineers. Get answers to all your questions about today's software development landscape from our experts and learn where the future of critical software is headed.

Oct 16, 2025 — Munich, Germany

AdaCore Tech Day Munich

Join high-integrity software engineers from across Europe for AdaCore Tech Day in Munich. Attend technical briefings, watch live demos and engage in conversations with other software engineers. Get answers to all your questions about today's software development landscape from our experts and learn where the future of critical software is headed.

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.