News

Sep 27, 2021 — Online Event

Public Ada Training Online US 2021

(Registration is full) 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.

Sep 27, 2021 — Online

UK Space Conference 2021

The UK Space Conference is well established as the most important and influential event for space in the UK. For the sixth time, this biennial event will bring together the UK and international space community from across government, industry and academia to exchange ideas, share plans, develop relationships and seek inspiration to thrive in the new space age.

AdaCore is a premium exhibitor at this event.

Oct 5, 2021 — Digital Event

Software Product Assurance Workshop

Vasiliy Fofanov will present the paper Adapting and Re-validating A Qualified Generic Multitasking Solution: A Return on Experience

Oct 11, 2021 — Online Event

Public Ada Training Online EU 2021

(Registration is full) 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.

Nov 3, 2021 — Toulouse, France

Aerospace Techweek 2021

AdaCore will be exhibiting in Aerospace Techweek 2021 and Eric Perlade will present "Making FACE™ Units of Conformance Fully Portable: Coding Guidelines for Ada” on November 3rd.

Nov 9, 2021 — Online Event

High Integrity Software: Assuring security and safety for critical software applications

The conference will focus on cyber safety for embedded systems (ie. the confluence of safety and security), and how innovations in testing and the application of formal methods can help to achieve those objectives. Talks will address themes including the state of the art in software testing, using fuzz testing in a civil avionics security certification context (DO-326A), and applying innovative techniques such as formal methods to achieve cyber security.

This year, the conference will feature a keynote talk about the work of the National Cyber Security Centre in the domain of embedded and critical systems.

Nov 16, 2021 — Bremen, Germany

Space Tech Expo 2021

Space Tech Expo Europe is the continent's major dedicated supply-chain and engineering event for manufacturing, design, test and engineering services for spacecraft, subsystems and space-qualified components. The exhibition and conference draw attendance from thousands of industry leaders, decision makers, engineers, specifiers and buyers to meet manufacturers across the supply chain for commercial, government and military space.

Dec 7, 2021 — Hamburg, Germany

Aviation Forum

At the Aviation Forum Hamburg, more than 750 decision-makers and experts from the aviation industry will meet to shape the new age of the aviation industry. Under the motto “Aviation Reloaded” new strategies, technologies and partnerships will be discussed to meet the new demands on aviation. After facing the biggest crisis the aviation industry has ever experienced, the industry needs to reposition itself and rethink old structures to prepare thoughtfully for a fresh start.