A day of technical training, software briefings, live demos and expert answers to your programming language questions.
Date: Tuesday 16th September 2025
Time: 9:30 - 15:30 MDT
Venue: The Westin Westminster, 10600 Westminster Blvd, Westminster, CO 80020
Featuring:
Solutions for Ada, SPARK, C/C++, Rust, Static Analysis and Dynamic Analysis
Networking with critical software developers from across North America
Briefings on new advances in critical programming tools & languages
Consultations with high-integrity software experts about your projects
Interactive session with M.A.R.S Rover robot demo built in Rust (as featured here)
Our Speakers
- Guest Speakers - Mat Merkow, Flight Software Engineer, Laboratory for Atmospheric and Space Physics (LASP)
- Sean Evoy, CodeSonar Expert, CodeSecure Director of Product Management
- Stephen Hedrick, AdaCore Rust Product Manager
- Patrick Kahney, High-Integrity Solutions Expert, AdaCore Sales Director North America
- Dennis Chun, Critical Software Expert, AdaCore Technical Account Manager
- Rohan Kingan, Critical Software Expert, AdaCore Technical Account Manager
- Peter Germa, Critical Software Expert, AdaCore Technical Account Manager
Agenda
Time | Session |
9:30-10:00 | Registration and Welcome Coffee |
10:00-10:15 | Introduction and AdaCore Offering |
10:15-10:35 | AdaCore Strategy Update and GNAT Pro Tool Suite |
10:35-10:50 | Static Analysis |
10:50-11:10 | CodeSonar |
11:10-11:30 | Coffee Break |
11:30-12:00 | Dynamic Analysis |
12:00-12:20 | LASP User Story |
12:20-12:30 | Cybersecurity |
12:30-13:30 | Lunch and Networking |
13:30-13:40 | Certification and Qualification |
13:40-14:00 | Ada Language Evolution |
14:00-14:20 | Rust with live demo |
14:20-14:30 | Future of Critical Software |
14:30-14:50 | Q&A with AdaCore Experts |
14:50-15:00 | Closing Remarks |
15:00-15:45 | Networking Reception |
Your complementary ticket entitles you to attend the full day of Denver Tech Day sessions, including networking, briefings, catering breaks and our closing reception.
After registering, you will receive a confirmation email detailing all logistics information such as parking and directions to our Lakehouse venue at The Westin Westminster.