News

Press Releases

See More »

AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defence Industries

PARIS & NEW YORK & BRISTOL, UK, 14 August 2019 - AdaCore, a trusted provider of software development and verification tools, today announced the opening of AdaCore Ltd,  which will serve as the company’s UK centre-of-excellence for the development of safety- and security-critical software tools.

Posted on 8/14/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 presenting “Verifying High-Assurance FACE™ Components with Ada and SPARK” and is also exhibiting at this event.

The FACE™ TIM is an opportunity for Open Group FACE Consortium members to demonstrate their FACE certified and/or aligned products, present papers on utilization of the FACE Technical Standard, showcase efforts toward developing FACE applications for new war-fighting capabilities, and attend presentations from US Air Force leadership. Hundreds of Army, Navy, and Air Force personnel attend the yearly event, as well as other customer communities looking to learn more about the benefits of the FACE approach.

AdaCore is a Principal in the FACE Consortium and participates actively in the definition of the FACE Technical Standard to ensure Ada’s role in the Safety capability sets.

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 1, 2019 — Toulouse, France

Software Product Assurance and Engineering Workshop

AdaCore will be presenting "A Qualified Multitasking Solution for Spacecraft Software Development" at this conference organized by the CNES and the ESA.

Posted on 8/7/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 (Booth 310)

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