The latest project from a member of our technical team sees Ada on the first RISC-V microcontroller, check it out here:

blog.adacore.com

Ada on the first RISC-V microcontroller - The AdaCore Blog

Ada now cleans floors! Check out the latest project on blog.adacore.com and find out how to program an iRobot Create® 2 Programmable Robot in Ada, featuring a very cute cat...

Ⓡ is an interesting experience. For those not familiar, the RoombaⓇ is a robot vacuum cleaner that’s about the diameter of a small pizza and stands tall enough to still fit under your bed. It has two independently driven wheels, a small-ish dust bin, a rechargeable battery, and a speaker programmed…

blog.adacore.com

The Adaroombot Project - The AdaCore Blog

Register now for AdaCore's Tech Days!

This customer oriented event will allow you the opportunity to learn more about our products, meet other AdaCore users, and get hands-on training from our technical experts.

We will be in Paris and Boston later this year so don't miss out!

AdaCore Tech Days | AdaCore

AdaCore Tech Days | AdaCore

With huge prizes up for grabs, there's still lots of time to register and submit your project ideas to the Make with Ada competition!

http://makewithada.org

Make with Ada

Make with Ada

Make with Ada

Make with Ada

Make with Ada

Calling all developers: don't miss our latest blog post on debugging with the help of GDB scripts!

blog.adacore.com

blog.adacore.com

The second part of our making robots with Ada!

Making robots with Ada, Part 2 - Driving the motors | Embedded http://adaco.re/j5

Making robots with Ada, Part 2 - Driving the motors

Making robots with Ada, Part 2 - Driving the motors

We have both our EU and US tech days coming up in the next two months in Paris and Boston! You can register for them here: Paris:http://adaco.re/a1 Boston: http://adaco.re/a2

adacore.com

AdaCore Tech Days - Paris, France | AdaCore Tech Days | AdaCore

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Our Make with Ada competition is still open! There's still 5 days to get your entries in guys! Let's get building! http://adaco.re/j7

Make with Ada

Make with Ada

Make with Ada

Make with Ada

Make with Ada

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

Last chance to sign up for tomorrow's 'Developing embedded systems in Ada - a C programmer's guide to safe, secure software' webinar hosted by AdaCore's Rob Tice 15:00 CEST/8:00 CDT. Register here: http://adaco.re/j6

Electronics-Know-How.com

Electronics-Know-How.com

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

makewithada.org

Make with Ada

A very interesting new blog by SPARK engineer Yannick Moy, Martin Becker and Emanuel Regnath: Physical Units Pass the Generic Test. Definitely worth a read if you're having problems with this! http://blog.adacore.com/physical-units-pass-the-generic-test

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

AdaCore has been working with CEA Paris-Saclay, Inria & NIST to organise a two day event dedicated to sound static analysis techniques and tools! To find out more and register click here: https://www.adacore.com/sound-static-analysis-workshop

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

NVIDIA is joining the Ada and SPARK adopter wave

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

blog.adacore.com

NVIDIA is joining the Ada and SPARK adopter wave - The AdaCore Blog

Join us in Huntsville on Thursday, May 9 for AdaCore Tech Days Alabama! This free event, geared toward software developers and project managers, will provide insight into AdaCore’s product and service offerings to support Cyber Security, coding, verification, static analysis, C/C++ development, and FACE™. For the full agenda and to register, please visit https://www.adacore.com/tech-days-alabama

AdaCore Senior Software Engineer Yannick Moy provides a scientific overview of software security.

https://saemobilus.sae.org/…/software-security-a-scientific…

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

saemobilus.sae.org

Software security, a scientific overview