GE Tech Day 2026
Join GE colleagues in Grand Rapids
GE Tech Day in Grand Rapids, Michigan, will feature technical sessions, demos, networking and consultation with AdaCore experts about your high-integrity software projects.
Expect deep dives into our roadmap, new and popular software features, live demos and plenty of chances to discuss your projects.
Deadline: register by August 21st
Join GE Colleagues in Grand Rapids
This year's venue is the Canopy by Hilton Grand Rapids Downtown, Michigan - just a 10-minute drive from the local GE site.
In between presentations and conversations, enjoy private networking breaks at the upscale rooftop bar Knoop with stunning views. Discuss the day's sessions at our reception over locally sourced drinks and refreshments.
Agenda
Tech Day sessions will include:
- Technologies Strategy
- GNAT Pro
- Ada Language
- GNAT Polyglot
- Static Analysis
- Dynamic Analysis
- GNATfuzz and Hot-Spot
- SPARK Pro
- Community Update
- AI Demo
- Meet the Experts: Q&A Panel
- Networking with your GE colleagues and AdaCore technical specialists
Having trouble seeing the form?
It looks like your browser's privacy settings may be blocking some of our content. If you're unable to view or submit this form, feel free to reach out to us directly by email at info@adacore.com. We're happy to provide pricing information or answer any questions you may have.
Explore more
About our Products
GNAT Pro
GNAT Pro offers software development environments and toolchains for Ada, C/C++, and Rust, featuring IDEs, native and cross compilers, a multi-language build system, multi-language debuggers, and configurable run-time libraries.
CodeSonar®
CodeSonar provides powerful static analysis of C/C++ and other languages, including Java, C#, Go, Python, JavaScript, TypeScript, Kotlin, and Rust. Built to meet the needs of enterprise, embedded, safety-critical, and high-integrity software projects.
GNAT Dynamic Analysis Suite
GNAT Dynamic Analysis Suite (GNAT DAS) offers a comprehensive testing solution for high-integrity software, integrating automated unit testing, fuzzing, and multi-language code coverage. Designed for Ada, C, and C++, it helps teams streamline testing, meet certification standards, and identify potential security vulnerabilities early.
SPARK Pro
SPARK Pro empowers you to write your best code ever. SPARK Pro verifies the safety, security and correctness of your software using formal proof. You will prevent vulnerabilities, eliminate bugs, prove functional correctness, and reduce lifecycle costs for embedded and high-integrity software at scale.