News

Press Releases

See More »

AdaCore’s Annual Make with Ada Competition is Starting

Over $8000 in cash and prizes for imaginative embedded systems projects in Ada or SPARK

Posted on 10/16/2018

AdaCore In the Press

See More »
Embedded Software Engineer

Verifikation von Embedded Software durch Integration von Test und Beweis

Posted on 11/14/2018
Electronic Design

SSI: Continued Assurance from Requirements to Code

Posted on 11/12/2018
Electronic Design

Halloween, Debugging, SPARK, and More

Posted on 11/5/2018
Electronic Design

Ada—The Language of Cost Savings?

Posted on 10/23/2018

Upcoming Events

See More »

Dec 3, 2018 — Sindelfingen, Germany

Embedded Software Engineering Kongress

Adacore will be exhibiting at this event 

Posted on 3/8/2018    

Feb 5, 2019 — Bristol, UK

Safety-Critical Systems Symposium

AdaCore is exhibiting at this event

Posted on 10/29/2018    

Feb 26, 2019 — Nuremberg, Germany

Embedded World 2019

AdaCore is exhibiting at this event.

Posted on 10/29/2018    

Mar 12, 2019 — Munich, Germany

Aerospace Tech Week - Avionics Expo

AdaCore is exhibiting at this event and giving a talk on “Qualification strategy for an automatic code generator”

Posted on 10/29/2018