Mar 20, 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 15, 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.
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).
Jun 21, 2022 — Virtual
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 26th 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 — Toulouse, France
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.
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
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.
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.
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 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 3, 2021 — Online Event
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".
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
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 6, 2021 — Online Event
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 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
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.
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 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.
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".
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.
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.
Feb 2, 2019 — Brussels, Belgium
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'.
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.AdaCore is an active actor and part of the Organizing and Program Committees.
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.
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.
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 3, 2018 — Brussels, Belgium
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
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 — PARIS, FRANCE
Public SPARK Training
This in-depth course will cover the SPARK language and formal verification tools through a combination of live lectures and hands-on workshops. Geared towards software engineers and project managers, the course will present the SPARK technology with an emphasis on how to best exploit its benefits in practice. Previous experience with formal verification is not required.
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.
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).