Upcoming Events

Jul 22, 2024 — Farnborough, UK

Farnborough International Airshow 2024

AdaCore will be attending the Farnborough International Airshow 2024, which will host leading innovators from the aerospace, aviation and defence industries and beyond.

Jun 11, 2024 — Toulouse, France

ERTS 2024

AdaCore will be exhibiting and presenting at the 12th edition of the Embedded Real-Time Systems European Congress (ERTS), which will take place at Diagora Congress in Toulouse.

May 29, 2024 — Johnstown, Pennsylvania

Showcase for Commerce

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

May 13, 2024 — ICC, Wales, UK

CYBERUK

AdaCore will be co-exhibiting with Digital Security by Design at CYBERUK - the UK Government’s flagship cyber security event.

Apr 24, 2024 — Denver, Colorado

Army Aviation Mission Solutions Summit

Army Aviation Mission Solutions Summit

Join AdaCore at the Army Aviation Mission Solutions Summit, an annual event where the entire Army aviation community gathers to focus solely on Army aviation issues.

Apr 11, 2024 —

High-Integrity Technology Update

Discover insights into AdaCore’s technology roadmap now and in the future. This session will cover:

• New software platforms, new hardware targets + new languages and profiles

• New Cybersecurity updates

• User stories from NVIDIA and Latitude

Apr 9, 2024 — Nuremberg, Germany

Embedded World 2024

AdaCore is attending Embedded World 2023 from April 9th to 11th in Nuremberg, Germany. The embedded world Exhibition & Conference provides a global platform and a place to meet for the entire embedded community. It offers unprecedented insight into the world of embedded systems, from components and modules to operating systems, hardware and software design, M2M communication, services, and various issues related to complex system design.

Mar 20, 2024 — Portland, Oregon

SIGCSE 2024

AdaCore will exhibit at this year's SIGCSE Technical Symposium on Computer Science Education promoting our GNAT Academic Program (www.adacore.com/academia) to a global audience of educators and researchers.

Oct 17, 2023 — Bristol, UK

High Integrity Software Conference 2023

AdaCore is co-organizing, sponsoring, and exhibiting at this year's High Integrity Software Conference.

The mission of HISC is to share challenges, best practice and experience between software engineering practitioners. The conference features talks from industrial and academic specialists which disseminate experience and knowledge of important techniques and methods that are applicable across industry sectors.

Sep 22, 2023 — Cambridge, UK

GNU Tools Cauldron 2023

AdaCore will be sponsoring the GNU Tools Cauldron this year.

The purpose of this workshop is to gather all GNU tools developers, discuss current/future work, coordinate efforts, exchange reports on ongoing efforts, discuss development plans for the next 12 months, developer tutorials and any other related discussions.

Sep 17, 2023 — Atlanta, GA

FACE™ and SOSA™ Army Technical Interchange Meeting

AdaCore will be exhibiting at this two-day event hosted by the U.S. Army. Technology Interchange Meetings (TIMs) allow DoD, industry, and academia to collaborate on research and engineering technology challenges. This year's event will be held in conjunction with the MOSA Industry and Government Expo and Summit.

Jun 21, 2023 — Virtual

GAP Workshop

Exclusively for GNAT Academic Program (GAP) members, our annual GAP Workshop provides a forum for members to share information regarding successful teaching methods and research projects, even student projects. AdaCore engineers also provide updates on Ada, SPARK, related resources, and community efforts.

Jun 12, 2023 — Lisbon, Portugal

Ada Europe

The Ada Europe conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.

AdaCore is sponsoring this event and will be giving two talks:

• Patrick Rogers will present "An Update On the Tasking Profiles in Ada 2022"
• Paul Butcher will present " ‘Security Hardening Ada Programs through Innovative Fuzz Testing"

May 30, 2023 — Johnstown, PA

Showcase for Commerce

AdaCore is a sponsor of this year's Showcase for Commerce event - a nationally renowned business and industry trade show and defense contracting exhibition.

May 31, 2023 — Karlsruhe, Germany

Ada Deutschland Workshop

AdaCore is sponsoring this years Ada Deutschland Workshop, the workshop will look at making processes and systems safe in artificial intelligence and machine learning. The opportunities and challenges of AI processes in real use will be discussed from the point of view of industrial practice and the user, as well as from the point of view of science and research.

May 7, 2023 — Annapolis, MD

High Confidence Software and Systems Conference

AdaCore is a sponsor of this year's HCSS event and will be presenting a paper on Bridging the Gap Between Protocol Specification and Program Verification. HCSS focuses on new scientific and technological foundations for the assured engineering of complex computing systems.

Mar 19, 2023 — Pasadena, CA

Flight Software Workshop

AdaCore is a sponsor/exhibitor of this annual workshop on spacecraft flight software. We are also sponsoring a presentation by LASP at the University of Colorado on Adamant - A New Mission-Critical Flight Software Framework Written in Ada. Stop by our on-site kiosk to learn about AdaCore's long history of providing tools and expertise to the space industry.

Mar 14, 2023 — Toronto, Canada

SIGCSE Technical Symposium

AdaCore will be exhibiting at SIGCSE, one of the largest academic shows dedicated to teaching resources related to software and hardware. Visit us at Booth 417 to learn about AdaCore's GNAT Academic Program and the benefits of using Ada and SPARK within an academic setting.

Mar 14, 2023 — Nuremberg, Germany

Embedded World 2023

AdaCore is exhibiting at Embedded World 2023 from March 14th to 16th in Nuremberg, Germany in partnership with Ferrous Systems. Visit us in Hall 4 at Booth 4-148 to discuss your high integrity software needs.

Oct 14, 2022 — Ann Arbor, Michigan

HILT Workshop 2022

AdaCore is a sponsor and 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).

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.

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.

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.

Jun 14, 2022 — Ghent, Belgium

Ada Europe 2022

The 26^th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022) will take place in Ghent, Belgium in dual mode, with a solid core of in-presence activities accompanied by digital support for remote participation. The conference schedule comprises a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.

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.

May 10, 2022 — ICC, Wales, UK

CYBERUK

CYBERUK is the UK Government’s flagship cyber security event which AdaCore will be attending to demonstrate expertise in military-grade cyber-secure system design at exhibition booth A68.

Apr 25, 2022 — Orlando, FL

AUVSI XPONENTIAL 2022

AdaCore will be attending this international event dedicated to the advancement of uncrewed systems, robotics, and autonomy.

Apr 3, 2022 — Nashville, TN

AAAA - Army Aviation Mission Solutions Summit

AdaCore will be attending the AAAA - Army Aviation Mission Solutions Summit, an annual event where the entire Army aviation community gathers to focus solely on Army aviation issues.

Mar 2, 2022 — Providence, Rhode Island.

SIGCSE 2022

AdaCore was an exhibitor at this year's SIGCSE Technical Symposium on Computer Science Education promoting our GNAT Academic Program (www.adacore.com/academia) to a global audience of educators and researchers.

Feb 7, 2022 — Virtual

Flight Software Workshop

AdaCore is a regular sponsor of this annual workshop on spacecraft flight software. This year, we also gave a technical presentation "System-to-Software Integrity: from SysML to Simulink to Code” and a sponsor presentation on "Dynamic Memory Management with Ownership in Rust and SPARK"

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.

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.

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 cybersecurity.

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

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.

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

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.

Sep 9, 2021 — Online

Webinar: Application of SPARK to steering system software development

In this webcast, Shinya Yoneki from JTEKT introduces the use of Formal Verification Tool Suite, SPARK Pro for JTEKT's electric power steering system, along with concrete examples.

The size of the software used in automobiles is continuously increasing as autonomous driving technology is being introduced and there is a need to ensure higher safety and reliability. Therefore, it is important to achieve higher quality while adhering to the development schedule. Formal verification can be used as a development method to detect defects early in the software development process and reduce the man-hours required for testing and rework.

Sep 8, 2021 — France (Online Event)

Convention Systematic 2021

We'll be part of the Convention Systematic 2021 as champions du Pôle 2021 (French only)

Jul 21, 2021 — Online Event

Mi-V Virtual Summit Conference 2021

We invite you to explore the Mi-V RISC-V® ecosystem during the first Mi-V Virtual Summit Conference. This event is a technology showcase that will bring together an esteemed group of innovators, academics, clients and collaborators.

The Mi-V Virtual Summit Conference will deliver valuable information about solutions, hardware, tools and Intellectual Property (IP) that are available for the PolarFire^® SoC FPGA family. As the industry continues to shift towards digital-only events, the Mi-V Virtual Summit Conference will deliver engaging and high-quality content from our Mi-V ecosystem partners.

Jun 16, 2021 — Online Event

Scale Up 360 OSS.5 Europe

Scale Up 360 OSS.5 Europe is the leading digital event on Functional, Operational, and System Safety for L5 Autonomous Driving. Quentin Ochem, AdaCore's Business Development Lead, will give a presentation on Self-Verified Software.

Jun 7, 2021 — Online Event

Ada Europe 2021

AdaCore's S. Tucker Taft will be a keynote at this year's 25th Ada‐Europe International Conference on Reliable Software Technologies (AEiC 2021). He and AdaCore co-authors will also be giving two talks on "Parallel Programming with Ada and OpenMP" and "Using Ada for model verification."

May 24, 2021 — Online Event

F-IDE 2021

AdaCore's Yannick Moy will be presenting a paper/talk on "How the Analyzer can Help the User Help the Analyzer" at this 6th Workshop on Formal Integrated Development Environment, which is affiliated with NASA Formal Methods 2021.

May 3, 2021 — Online Event

HCSS 2021

The High Confidence Software and Systems Conference is a forum for the development of scientific foundations and innovative and enabling software and hardware technologies for the assured engineering of complex computing systems. AdaCore's Yannick Moy gave a talk on "How to Improve the Robustness of Auto-active Program Proof Through Redundancy".

May 3, 2021 — Paris, France

Collège de France

AdaCore's Yannick Moy was invited by Xavier Leroy, Software Sciences Chair of the prestigious Collège de France, to give a talk on "Preuve auto-active de programmes en SPARK" (in French).

Apr 29, 2021 — Online Event

Military Embedded Systems, Expert Discussion: The FACE™ Technical Standard and Avionics Safety Certification

AdaCore's Ben Brosgol participated on this panel of avionics software experts as they discussed the FACE Technical Standard.

Mar 23, 2021 — Online Event

The Open Group FACE™ and SOSA™ Consortia Technical Interchange Meeting (TIM)

AdaCore is the Premier Sponsor of this one-day virtual Technical Interchange Meeting for government, academia, and industry experts.

Mar 13, 2021 — Online Event

Technical Symposium on Computer Science Education (SIGCSE)

AdaCore was a Bronze Supporter for the 52nd annual Technical Symposium on Computer Science Education, organized by the ACM Special Interest Group on Computer Science Education (SIGCSE). On Thursday, March 18 from 4:15 PM - 5:30 PM EDT, Dr. Patrick Rogers, a member of AdaCore’s senior technical staff, hosted a 60-minute virtual meeting on “Learning systems programming, hard real-time programming and formal methods with good language support.” AdaCore also showcased its GNAT AcademicProgram.

Mar 1, 2021 — Online Event

Embedded World 2021 Digital

The embedded world Exhibition & Conference will take place this year as a completely digital event. Both the trade fair and accompanying conferences, the embedded world Conference and the electronic displays Conference, will be held as virtual formats under the name embedded world DIGITAL.

Mar 1, 2021 — Online Event

ICFEM 2021

The International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Researchers and practitioners from industry, academia, and government, are encouraged to attend, present their research, and help advance state-of-the-art. AdaCore engineers presented a paper/talk on "Verification of Programs with Pointers in SPARK."

Feb 8, 2021 — Online Event

Flight Software Workshop 2021

AdaCore was a sponsor for this 14th annual Workshop on Spacecraft Flight Software. AdaCore Senior Software Engineer Tonu Naks gave a presentation on QGenV: Harnessing Qualified Code Generator for Model Verification.

Feb 6, 2021 — Online Event

FOSDEM 2021

FOSDEM is a free, two-day event organized for software developers to meet, share ideas and collaborate. The goal is to promote the widespread use of free and open source software. AdaCore engineers gave two talks this year. One on "Adding contracts to the GCC GNAT Ada standard libraries to strengthen analysis provided by formal verification tools," and one on "Proving heap-manipulating programs with SPARK."

Dec 8, 2020 — Virtual Event

RISC-V Summit 2020

AdaCore will be sponsoring and exhibiting at this virtual event, which will highlight the continued rapid expansion of the RISC-V ecosystem, presenting both commercial offerings and exciting open-source developments.

Dec 10, 2020 — Virtual Event

Military Embedded Systems Webcast: Accelerating Avionics Design & Testing through FACE Conformance

Boeing, in partnership with the US Army, AdaCore, CoreAVI, Presagis and Real-Time Innovations (RTI), will demonstrate an integrated FACE Commercial-off-the-Shelf (COTS) solution stack covering cockpit displays, graphics systems and data transport connectivity. This stack enables high mission capability using the world’s latest and most advanced avionics technologies designed to accelerate RTCA DO-178C DAL A safety certification and FACE conformance.

Dec 1, 2020 — Virtual Event

Military Embedded Systems Webcast: How To Enable the Intelligent Edge for Critical Avionics Software

Modernization efforts that require consolidating multiple proven software systems onto a single intelligent edge platform are difficult. Fortunately, there are strategies that allow you to maintain your software integrity and partitioning while taking advantage of cutting edge software development technology. In this webinar, subject matter experts from Wind River and AdaCore will demonstrate how you can map your existing architecture to guest operating systems on hypervisors, by using Wind River’s Helix Virtualization Platforms and software development tools from the compiler experts at AdaCore.

Nov 16, 2020 — Virtual Event

High Integrity Language Technology (HILT) Workshop

AdaCore is participating on both the organizing and program committees for this year's HILT international workshop on safe languages and technologies for structured and efficient parallel and distributed/cloud computing.

This is the sixth in the HILT series of conferences and workshops, sponsored by ACM SIGAda, focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. HILT 2020 will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications.

The 2020 event will be virtually co-hosted with SPLASH 2020.

Nov 8, 2020 — Virtual Event

ESEC/FSE 2020

At this year's ESEC/FSE event, AdaCore's Dr. Benjamin Brosgol will presenting his 2019 IEEE Software paper, "How to Succeed in the Software Business While Giving Away the Source Code: The AdaCore Experience."

The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering.

Nov 12, 2020 — Los Angeles, CA

AdaCore US Tech Day

AdaCore has cancelled this year's US Tech Day due to COVID-19. Please check out our Product Roadmap 2020 Videos for information about the most recent updates.

Nov 5, 2020 — Online

RISC-V Day Tokyo 2020

RISC-V Days Tokyo is the largest RISC-V conference in Japan for suppliers, researchers, and government agencies. In 2020, it will be online so that both presenters, participants in shelter-in-place will be able to participate.

Nov 3, 2020 — Paris, France

AdaCore Tech Day - Paris

AdaCore has cancelled this year's Tech Day in Paris due to COVID-19.  Please check out our Product Roadmap 2020 Videos for information about the most recent updates.

Oct 26, 2020 — Online

RTI Connext Conference 2020

RTI ConnextCon 2020 is the world’s largest gathering of power Data Distribution Service (DDS) users. It will also serve as a great overview of the DDS standard for both current DDS users and non-DDS users alike.

• October 26-27, 2020 (US/Americas)
• October 28-29, 2020 (EMEA/APAC)

Sep 25, 2020 — Paris, France

GNU Tools Cauldron 2020

Cancelled due to COVID-19

Sep 21, 2020 — Virtual

The Open Group FACE™ AND SOSA™ Consortia Technical Interchange Meeting (TIM)

AdaCore is the premier sponsor of this event and CEO Franco Gasperoni will be presenting the Welcome Address.

The Open Group and NAVAIR will host this 2nd annual joint FACE™ (Future Airborne Capability Environment) and SOSA™ (Sensor Open Systems Architecture) Consortia Technical Interchange Meeting. AdaCore is the Premier Sponsor of this year’s free, one-day, virtual event offering paper presentations by leading experts from government, industry, and academia on the use of the FACE Technical Standard and related business practices.

This unique event offers a valuable opportunity to learn the latest developments in the FACE and SOSA communities. Attendees will discover new and practical technologies that greatly increase defense program efficiency, accelerate acquisition of the latest capabilities, and improve adaptability in currently fielded systems.

Sep 3, 2020 — Virtual Experience

RISC-V Global Forum 2020

RISC-V is breaking down technical barriers and disrupting traditional microprocessor business models through global collaboration. The RISC-V Global Forum is our opportunity to engage across the community, from start-ups to multi-nationals, from students to luminaries, from deep technical talks to understanding industry momentum.

Jun 19, 2020 — Menlo Park CA, USA

Frama-C & SPARK Days 2020

Cancelled due to COVID-19

Jun 8, 2020 — Santander, Spain

Ada Europe 2020

Canceled due to Covid-19

Jun 3, 2020 — Online

ScaleUp 360° Auto Vision

AdaCore will present the webinar “Confident Algorithms with Formal Proof Techniques” as part of ScaleUp 360°Auto Vision - The digital event deep diving into Computer Vision and Sensor Fusion technologies for autonomous vehicle perception.

May 26, 2020 — Bucharest, Romania

DASIA (Data Systems in Aerospace)

Postponed due to COVID-19

Mar 22, 2020 —

​NVIDIA’s GPU Technology Conference (GTC) - Silicon Valley 2020

Quentin Ochem from AdaCore gave an online talk "Exterminating Buffer Overflows and Other Embarrassing Vulnerabilities with SPARK Ada on Tegra"

Mar 18, 2020 — Toulouse, France

Aerospace Tech Week

Cancelled due to COVID-19

Mar 11, 2020 — Portland, Oregon, USA

SIGCSE 2020

Cancelled due to COVID-19

Feb 25, 2020 — Nuremberg, Germany

Embedded World 2020

Extreme miniaturization coupled with increasingly higher computer performance, efficient communication of networked, often also mobile systems – the developers of embedded systems have to meet enormous requirements. The reliability of electronic systems, distributed intelligence, the internet of things and solutions for future themes such as e-mobility and energy efficiency are the main topics right at the top of the agenda for the embedded sector and industry.

Each year the embedded world Exhibition&Conference in Nuremberg offers the embedded community the opportunity to obtain information about new products and innovations, enter into an exchange and to maintain and develop valuable contacts. Around 1.100 exhibitors are presenting state-of-the-art technology in all facets of embedded technologies, from construction elements, modules and complete systems through to operating systems and software, hard and software tools right up to services covering all aspects of embedded systems.

Feb 11, 2020 — York, United Kingdom

Safety-Critical Systems Symposium (SSS'20)

The Safety-Critical Systems Symposium in 2020 comprises three days of presented papers with an industrial focus, including keynote talks, submitted talks, updates from the SCSC working groups and a poster session. There is also a symposium banquet with an after-dinner speaker.

The Symposium is for all of those working in the field of system and functional safety, including engineers, managers, consultants, regulators and assessors. It offers wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.

Feb 4, 2020 —

Webinar by Rob Tice at online event Scale UP 360° Automotive AI

AdaCore will present at the biggest online Automotive event Scale Up 360° AUTOMOTIVE AI. Rob Tice will be giving a talk on "Beyond the boundaries of C: writing ASIL-4 software with verification-centric language SPARK Ada and Formal Proof".

Feb 1, 2020 — Brussels, Belgium

FOSDEM'20

FOSDEM is a free event for software developers to meet, share ideas and collaborate. Every year, thousands of developers of free and open source software from all over the world gather at the event in Brussels.

Jan 29, 2020 — Toulouse, France

ERTS 2020

ERTS - Embedded Real Time Systems will celebrate its 10th edition from 29 to 31 January 2020 at Pierre Baudis Congress Center, Toulouse, France ! AdaCore will be sponsoring and exhibiting in the event.

Dec 9, 2019 — San Jose, CA

RISC-V Summit

AdaCore will be exhibiting at this event (Booth 310)

Dec 9, 2019 — Huntsville, AL

Flight Software Workshop

AdaCore is a sponsor of this event

Nov 13, 2019 — Burlington, MA, USA

AdaCore Tech Days - Boston

AdaCore held its annual Tech Days in Boston

Nov 5, 2019 — Bristol, UK

High Integrity Software Conference

AdaCore is co-organizing, sponsoring and will be exhibiting at this event.

Oct 24, 2019 — Noordwijk, Netherlands

Microchip's SPACE Forum 2019

AdaCore will be exhibiting at this event. Microchip’s technical experts and partners will be presenting the most innovative space-related products, capabilities, and system solutions in this one-day technology forum. You will see demonstrations of how the interoperation of our latest products can accelerate your development time. You’ll also gain a comprehensive understanding of how Microchip’s Sub-QML and COTS-to-RT components help address the challenges of meeting system performance and reliability goals while also saving costs.

Oct 1, 2019 — Toulouse, France

Software Product Assurance and Engineering Workshop

AdaCore will be presenting "A Qualified Multitasking Solution for Spacecraft Software Development" at this conference organized by the CNES and the ESA.

Oct 3, 2019 — Paris, France

AdaCore Tech Day - Paris

AdaCore will be holding its annual Tech Day in Paris

Sep 25, 2019 — McLean, VA

IEEE Secure Development Conference

AdaCore will be speaking at this event

Sep 24, 2019 — Wales, UK

UK Space Conference

AdaCore will be exhibiting at this event - booth D16.

Sep 17, 2019 — Dayton, OH

US Air Force FACE™ Technical Interchange Meeting

AdaCore will be presenting “Verifying High-Assurance FACE™ Components with Ada and SPARK” and is also exhibiting at this event.

The FACE™ TIM is an opportunity for Open Group FACE Consortium members to demonstrate their FACE certified and/or aligned products, present papers on utilization of the FACE Technical Standard, showcase efforts toward developing FACE applications for new war-fighting capabilities, and attend presentations from US Air Force leadership. Hundreds of Army, Navy, and Air Force personnel attend the yearly event, as well as other customer communities looking to learn more about the benefits of the FACE approach.

AdaCore is a Principal in the FACE Consortium and participates actively in the definition of the FACE Technical Standard to ensure Ada’s role in the Safety capability sets.

Jun 26, 2019 — Postdam, Germany

VDA Automotive SYS Conference

AdaCore will be exhibiting at this event.

Jun 11, 2019 — Warsaw, Poland

Ada Europe 2019

AdaCore will be exhibiting and presenting at this event.

Jun 11, 2019 — Zurich, Switzerland

RISC-V Workshop

AdaCore will be exhibiting and presenting at this event.

Jun 4, 2019 — Lille, France

RSSRail 2019

AdaCore will be giving a tutorial and exhibiting at this event.

Jun 3, 2019 — Paris, France

Frama C & SPARK Day

AdaCore will be attending and co-leading this workshop.

May 9, 2019 — Huntsville, Alabama​

AdaCore Tech Days Alabama

AdaCore will continue it's Tech Days event in Alabama.

Apr 23, 2019 — St. Pete Beach, Florida

The Open Group FACE™ Consortium F2F Meeting

AdaCore co-sponsored this event with Collins Aerospace.

Mar 12, 2019 — Munich, Germany

Aerospace Tech Week - Avionics Expo

AdaCore is exhibiting at this event and giving a talk on “Qualification strategy for an automatic code generator”

Feb 27, 2019 — Minneapolis, MN

SIGCSE 2019

AdaCore will be exhibiting at this event. Booth #514.

Feb 26, 2019 — Nuremberg, Germany

Embedded World 2019

AdaCore is exhibiting at this event.

Feb 5, 2019 — Bristol, UK

Safety-Critical Systems Symposium

AdaCore is exhibiting at this event.

Feb 2, 2019 — Brussels, Belgium

FOSDEM 2019

AdaCore will attend and present at FOSDEM 2019. In the Ada devroom, Nicolas Roche will present 'GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows' and Yannick Moy will present 'Proof of Pointer Programs with Ownership in SPARK'. In the RISC-V devroom, Fabien Chouteau will present 'Alternative languages for safe and secure RISC-V programming'.

Dec 3, 2018 — Sindelfingen, Germany

Embedded Software Engineering Kongress

Adacore will be exhibiting at this event

Dec 5, 2018 — Paris, France

Paris Open Source Summit

AdaCore is exhibiting at this event

Dec 3, 2018 — Texas, US

Flight Software Workshop

AdaCore sponsored this event and Steve Baird presented the talk 'Provably Safe Pointers for a Parallel World'.

Nov 14, 2018 — Boston, US

AdaCore US Tech Days

AdaCore will be holding it's annual Tech Days in Boston

Nov 6, 2018 — Bristol Royal Marriott Hotel

High Integrity Software Conference 2018

AdaCore is co-organising, sponsoring and will be exhibiting at this event.

Yannick Moy will present the talk "Programming languages for C-cured software

Nov 5, 2018 — Boston, Massachusetts (USA)

HILT 2018 Workshop

The High Integrity Language Technology is focused on the cyber-resilience needs of critical software systems, where such a system must be trusted to maintain a continual delivery of services, as well as ensuring safety in its operations. Such needs have common goals and shared strategies, tools, and techniques, recognizing the multiple interactions between security and safety.

This workshop is designed as a forum for communities of researchers and practitioners from academic, industrial, and governmental settings, to come together, share experiences, and forge partnerships focused on integrating and deploying tool and language combinations to address the challenges of building cyber-resilient software-intensive systems. The workshop will be a combination of presentations and panel discussions, with one or more invited speakers.

Oct 16, 2018 — San Jose, CA

ARM TechCon

AdaCore will be exhibiting at the event

Sep 18, 2018 — Von Braun Center , East Hall 1, 2, 3, Huntsville, AL

FACE Technical Interchange Meeting

AdaCore will be presenting and exhibiting at this event

Sep 7, 2018 — Manchester, UK

GNU Tools Cauldron

AdaCore will be exhibiting at this event and is a major sponsor

Jul 15, 2018 — Oxford, UK

22nd International Symposium on Formal Methods

Sylvain Dailler and Claude Marché will present the talk "Lightweight Interactive Proving inside an Automatic Program Verifier" in the F-IDE Workshop.

Yannick Moy will present "Climbing the Software Assurance Ladder -Practical Formal Verification for Reliable Software" during the AVoCS workshop.

Jul 9, 2018 — Karlsruher Institut für Technologie

Ada Deutschland- Workshop "Konstruktion von SafeWare"

AdaCore will be exhibiting at this event

Jun 27, 2018 — NIST, Gaithersburg, Maryland

Sound Static Analysis for Security Workshop

Sound Static Analysis for Security: this two-day workshop is focused on decreasing software security vulnerabilities by orders of magnitude, using the strong guarantees that only sound static analysis can provide. The workshop is aimed at developers, managers and evaluators of security-critical projects, as well as researchers in cybersecurity.

Jun 18, 2018 — Lisbon, Portugal

Ada Europe

AdaCore will be exhibiting and presenting at this event.

Jun 19, 2018 — Munich, Germany

Aviation Electronics Europe

AdaCore will be exhibiting at this event

Jun 6, 2018 — Detroit, USA

TU Automotive

AdaCore will be exhibiting at this event

May 24, 2018 — Paris, France

Open Source Innovation Spring - OSIS - Track IoT Critique 2018

Fabien Chouteau and Yannick Moy will be presenting the talk "Ada and SPARK - Defense in Depth for Safe Micro-controller Programming"

May 14, 2018 — Santa Clara University, Santa Clara, CA

34th International Conference on Massive Storage Systems and Technology (MSST 2018)

AdaCore will presenting the tutorial "Big Data for Big Problems (and the technology that underpins it)" in partnership with Georgetown University.

Mar 19, 2018 — Brisbane and Adelaide, Australia

Dedicated Systems Tech Days 2018

AdaCore will be exhibiting at this event.

Eric Perlade will present the talk ‘Guaranteeing Software Quality Through Formal Verification’.

This year's theme is ‘Building reliability, safety and security into complex software and systems’.

Feb 27, 2018 — Nuremberg, Germany

Embedded World Europe

AdaCore will be exhibiting at this event

Feb 6, 2018 — York, UK

SSS (Safety-Critical Systems Symposium)

AdaCore will be exhibiting at this event

Feb 3, 2018 — Brussels, Belgium

FOSDEM

AdaCore will attend and present papers at FOSDEM. Yannick Moy will present “SPARK Language: Historical Perspective & FOSS Development”. Fabien Chouteau will present “Making the Ada_Drivers_Library: Embedded Programming with Ada”. And Raphaël Amiard and Pierre-Marie de Rodat will present “Easy Ada Tooling with Libadalang”.

Jan 31, 2018 — Toulouse, France

ERTS

AdaCore will be exhibiting at this event, Cyrille Comar will present "What is software safety? A journey across domains and safety standards" and "Avionics Certification: Back to Fundamentals with Overarching Properties" and Yannick Moy will present "Safe and Secure Autopilot Software for Drones" and "Lightweight checkers in a new light"

AdaCore will be exhibiting at stand number 21

Dec 4, 2017 — Sindelfingen, Germany

ESE Kongress 2017

AdaCore will be exhibiting at this event. 
Ingo Houben will present the paper "Formal korrekten C-Code durch Benutzung von SPARK erstellen".

Dec 6, 2017 — San Jose, CA

Embedded Systems Conference 2017

AdaCore will be exhibiting at this event.

Nov 14, 2017 — Pistoia, Italy

RSSRail 2017

AdaCore will be attending this event. Eric Perlade will present "AdaCore Technologies for EN50128:2011".

Oct 30, 2017 — London, UK

IET System Safety and Cybersecurity Conference 2017

AdaCore will be exhibiting at this event.

Oct 24, 2017 — Santa Clara, CA

ARM TechCon 2017

AdaCore will be exhibiting at this event.

Sep 25, 2017 — Maryland, USA

STC 2017

AdaCore will be attending this event. 
Ben Brosgol will be giving the talk "Guidance for Introducing Formal Methods into a Software Verification Infrastructure"

Sep 25, 2017 — Maryland, USA

STC 2017

AdaCore will be attending this event.

Ben Brosgol will be giving the talk "Guidance for Introducing Formal Methods into a Software Verification Infrastructure"

Sep 27, 2017 — 15:00 CEST/8:00 CDT

Webinar: Developing embedded systems in Ada - a C programmer's guide to safe, secure software

This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe and secure, while still meeting its performance requirements.

Sep 18, 2017 — Darmstadt, Germany

ESA/SW Product Assurance and Engineering Workshop 2017

AdaCore will be attending this event and Jose Ruiz will present 'Trusted Automatic Code Generator'.

Sep 8, 2017 — Prague, Czech Republic

GNU Tools Cauldron 2017

AdaCore will be sponsoring this event.

Jul 22, 2017 — Heidelberg, Germany

VSTTE 2017

Verified Software: Theories, Tools, and Experiments conference.
Clement Fumex will be presenting the paper Automating the Verification of Floating-Point Programs.

Jun 7, 2017 — Novi, MI

TU-Automotive 2017

AdaCore will be exhibiting at this event.

May 30, 2017 — Stuttgart, Germany

Automotive - Safety and Security 2017

AdaCore will be sponsoring this event and exhibiting.

May 30, 2017 — Paris, France

Frama-C and SPARK Day

Formal Analysis and Proof for Programs in C and Ada.

AdaCore will be attending and co-leading this workshop.

May 23, 2017 — San Jose, California

MEDSec 2017

AdaCore will be attending this event.

May 16, 2017 — Moffett Field, CA

NFM 2017

AdaCore will be attending this event - Claire Dross will be presenting the paper "Auto-Active Proof of Red-Black Trees in SPARK".

May 8, 2017 — Annapolis, MD

HCSS 2017 (High Confidence Software and Systems Conference)

AdaCore will be attending this event. Yannick Moy will present "Levels of Software Assurance" and the notion of SPARK levels (Stone, Bronze, Silver, Gold), how they were used in Thales experiments and how they map to Altran UK practice, and the underlying techniques that support these (proof of floats using a combination of techniques, ghost code for functional properties).

May 3, 2017 — Boston, MA

Embedded Systems Conference

AdaCore will be attending this event.

Mar 21, 2017 — Toulouse, France

Certification Together

AdaCore is a Platinum sponsor and will be exhibiting at this event.

Mar 14, 2017 — Nuremberg, Germany

Embedded World 2017

AdaCore will be exhibiting at this event. Hall 4/4-149.

Feb 7, 2017 — Bristol, UK

Safety-Critical Systems Symposium 2017

AdaCore will be exhibiting at this event.

Feb 4, 2017 — Brussels, Belgium

FOSDEM 2017

AdaCore is attending this event and will be giving two talks:

"Prove with SPARK: No Math, Just Code" from Yannick Moy and "64 bit Bare Metal Programming on RPI-3" from Tristan Gingold.

Jan 15, 2017 — Paris, France

VMCAI 2017

AdaCore will be sponsoring and attending this event.

Dec 13, 2016 — Pasadena, CA

Flight Software Workshop

AdaCore will be exhibiting at this event.

Dec 7, 2016 — San Jose, CA

Embedded Systems Conference

AdaCore is exhbiting at this event.

Nov 28, 2016 — Sindelfingen Germany

ESE Kongress

AdaCore is exhibiting at this event.

Nov 29, 2016 — California, USA

RTC Military Systems Conference 2016

AdaCore will be exhibiting at this event.

Nov 1, 2016 — Bristol, UK

High Integrity Software 2016

AdaCore is a major sponsor of this event and is exhibiting.

Oct 25, 2016 — Santa Clara, CA

ARM TechCon

AdaCore is exhibiting at this event.

Pat Rogers will be holding a Theater Session on Wednesday 26th October.

Oct 6, 2016 — Pittsburgh, Pennsylvania

HILT Workshop 2016

AdaCore is a major sponsor of this event.