- AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems 6/29/2021
- AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition 3/16/2021
- AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH 2/16/2021
- Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware 12/4/2020
- Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology 12/1/2020
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 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 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
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.