Site Map - Ada Resource Association

Site Map

Ada Advantages

Ada Projects

Learn Ada

Resources

ARA Community

Press

Sep 24, 2019 European Space Agency Uses AdaCore’s Qualified Multitasking Solution
Jun 26, 2019 Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite
May 26, 2019 PTC ObjectAda includes more Ada 2012 features
Apr 23, 2019 AdaCore Now a Principal Member of The Open Group FACE™ Consortium
Mar 12, 2019 AdaCore Extends Support for Wind River VxWorks
Feb 19, 2019 AdaCore Annual V19 Product Release Brings Performance Improvements and more
Feb 05, 2019 AdaCore Enhances Security-Critical Firmware with NVIDIA
Jan 30, 2019 AdaCore Joins the RISC-V Foundation
Jan 09, 2019 AVIO uses GNAT Pro for European Space Agency Program
Jun 05, 2018 PTC ObjectAda for Windows includes Ada 2012 features

View All Press Releases

Articles

Mar 03, 2020 AUJ Quarterly News Digest, June 2019
Nov 28, 2019 AUJ Quarterly News Digest, March 2019
Oct 30, 2019 Make It With Ada 2019
Oct 29, 2019 Learn and Use Ada and SPARK
Feb 06, 2019 Securing the Future of Safe Autonomous Driving
Oct 24, 2018 Ada, the language of cost saving?
May 30, 2018 System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering
Apr 01, 2018 New Ada Features Approved
Mar 20, 2018 You think your software works? Prove it!
Dec 04, 2017 Hybrid Verification: Mixing Formal Methods and Testing

View All Articles

Events

Apr 1-3, 2020 20th International Real-Time Ada Workshop – IRTAW 2020
Feb 1, 2020 10th Ada Developer Room at FOSDEM 2020
Jun 8-12, 2020 Ada-Europe 2020
Feb 2, 2019 9th Ada Developer Room at FOSDEM 2019
Jun 10-14, 2019 Ada-Europe 2019
Nov 14-15, 2018 AdaCore Tech Days 2018
Nov 5-6, 2018 HILT 2018
Feb 3, 2018 8th Ada Developer Room at FOSDEM 2018
Jun 18-22, 2018 Ada-Europe 2018
Sep 21, 2017 Swiss Ada Event

View All Events

Blogs

Mar 02, 2020 Free tools and libraries updates
Nov 28, 2019 Ada User Journal News Digests now available here
Jul 27, 2019 Additional Comment Period for Upcoming Ada Revision
Mar 10, 2019 Ada Programmer Interviews
Jun 03, 2018 Carl Brandon scheduled for keynote at Ada Europe 2018
Jan 18, 2018 Going All in with Ada
Dec 15, 2017 Dr. Peter Chapin (Vermont Technical College) receives ACM SIGAda 2017 Robert Dewar Award
Aug 03, 2017 Community Input for the Maintenance and Revision of the Ada Programming Language
Apr 28, 2017 Ada Prehistory Unearthed
Mar 10, 2017 Consolidated RM available in EMACS info format

You can find an archive of AdaIC pages on the ARA archive page.