News

Press Releases

See More »

Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite

NORTHPORT AND NEW YORK, N.Y. – June 26, 2019 – Code Dx, Inc., provider of an award-winning application security management solution that automates and accelerates the discovery, prioritization, and risk management of software vulnerabilities, today announced its partnership with AdaCore, a trusted provider of software development and verification tools for the Ada, C, and C++ programming languages.

Posted on 6/26/2019

AdaCore In the Press

See More »
SAE MOBILUS

Software security, a scientific overview

Posted on 4/22/2019
Military Embedded Systems

AdaCore’s code generator QGen wins BEST IN SHOW AWARD at Aerospace Tech Week 2019

Posted on 3/14/2019
L'Embarqué

Conduite automatisée : certaines puces-systèmes Nvidia vont migrer vers le RISC-V et les langages Ada et Spark

Posted on 3/6/2019
EEWeb

Introducing RISC-V and RISC-V Tools

Posted on 2/14/2019

Upcoming Events

See More »

Sep 17, 2019 — Dayton, OH

US Air Force FACE™ Technical Interchange Meeting

AdaCore will be exhibiting at this event

Posted on 6/20/2019    

Sep 24, 2019 — Paris, France

Getting Started with RISC-V - Paris

AdaCore will be exhibiting at this event.

Posted on 7/12/2019    

Sep 24, 2019 — Wales, UK

UK Space Conference

AdaCore will be exhibiting at this event - booth D16.

Posted on 5/10/2019    

Sep 25, 2019 — McLean, VA

IEEE Secure Development Conference

AdaCore will be speaking at this event

Posted on 6/20/2019    

Oct 3, 2019 — Paris, France

AdaCore Tech Day - Paris

AdaCore will be holding its annual Tech Day in Paris

Posted on 5/10/2019    

Oct 21, 2019 — Bath, UK

Public Ada Training - UK

A course provided by AdaCore geared to software professionals looking for a practical introduction to the Ada language with a focus on embedded systems, including real-time features as well as critical features introduced in Ada 2012. Learn how to use Ada for both sequential and concurrent applications, through a combination of live lectures from AdaCore's expert instructors and hands-on workshops using AdaCore's latest GNAT technology. 

Posted on 5/10/2019    

Nov 5, 2019 — Bristol, UK

High Integrity Software Conference

AdaCore is co-organizing, sponsoring and will be exhibiting at this event.

Posted on 5/10/2019    

Nov 13, 2019 — Burlington, MA, USA

AdaCore Tech Days - Boston

AdaCore will be holding its annual Tech Days in Boston

Posted on 5/10/2019    

Dec 9, 2019 — San Jose, CA

RISC-V Summit

AdaCore will be exhibiting at this event

Posted on 6/20/2019    

Dec 9, 2019 — Huntsville, AL

Flight Software Workshop

AdaCore is a sponsor of this event

Posted on 6/20/2019