News

Jun 1, 2022 — Johnstown, PA

Showcase for Commerce

AdaCore will be attending this nationally renowned business and industry trade show and defense contracting exhibition.

Jun 1, 2022 — Toulouse, France

ERTS 2022

Join AdaCore at the 11th edition of ERTS, which will take place at Diagora Congress in Toulouse.

AdaCore will be exhibiting and presenting “Dynamic Memory Management in Critical Embedded Software”, hosted by Claire Dross, Cyrille Comar, Yannick Moy and Florian Giltcher from Ferrous Systems.

Jun 13, 2022 — Online Event

Pro Ada Training Online US - June 2022

By attending this course, you will learn how to use the Ada programming language for both sequential and concurrent applications, through a combination of live lectures from expert instructors and hands-on workshops using AdaCore's latest GNAT technology. AdaCore will provide an Ada 2012 tool chain for Windows. No previous experience with Ada is required.

Jun 20, 2022 — Online Event

Pro Ada Training Online EU - June 2022

By attending this course you will learn how to use the Ada programming language for both sequential and concurrent applications, through a combination of live lectures from expert instructors and hands-on workshops using AdaCore's latest GNAT technology. AdaCore will provide an Ada 2012 tool-chain for Windows. No previous experience with Ada is required.

Jun 21, 2022 — Virtual

GAP Workshop

This workshop is exclusively for GNAT Academic Program (GAP). Members will share information regarding successful teaching methods and research projects, even student projects. AdaCore engineers will also provide updates on Ada, SPARK, related resources, and our community efforts.

Sep 27, 2022 — Dayton, OH

FACE™ and SOSA™ Technical Interchange Meeting (TIM)

AdaCore will be exhibiting at this one-day event hosted by the U.S. Air Force. Technology Interchange Meetings (TIM) allow DoD, Industry, and Academia to collaborate on Research and Engineering technology challenges.

Oct 14, 2022 — Ann Arbor, Michigan

HILT Workshop 2022

AdaCore will be actively participating in this year's HILT Workshop. Held every two years and sponsored by SIGAda, the workshop focuses on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. This year's event will be held in Ann Arbor, Michigan, in conjunction with the 2022 Automated Software Engineering conference (ASE'22).

Nov 8, 2022 — Atlanta, GA

Aerospace Tech Week Americas

AdaCore will be exhibiting at Aerospace Tech Week's inaugural event in the Americas. This conference and exhibition will offer an exclusive focus on the Americas developments for the commercial, defense, and bizjet aerospace tech sectors.