A day of technical training, software briefings, live demos and expert answers to your programming language questions.
Date: Thursday 16th October 2025
Time: 8:30 - 17:30 CEST
Venue: Le Meridien Munich, Bayerstraße 41 80335, Munich, Germany
Featuring:
Solutions for Ada, SPARK, C/C++, Rust, Static Analysis and Dynamic Analysis
Networking with critical software developers from across Europe
Briefings on new advances in critical programming tools & languages
Consultations with high-integrity software experts about your projects
Interactive sessions with M.A.R.S Rover robot demo built with Ada and SPARK
Our Speakers
- Arnaud Charlet, Chief Technical Officer
- Dany Lamriben, Head of Sales EMEA
- Eric Perlade, Global Technical Sales Lead
- Jose Ruiz, GNAT Pro Embedded Product Manager
- Paul Butcher, Head of Dynamic Analysis
- Rob Daulton, Senior Field Application Engineer, CodeSecure
- Silvère To-Sah-Be-Nza, Technical Account Manager
- Steven Bias, Technical Account Manager
- Rowan Walshe, Senior Software Engineer
- Wiljan Derks, Software Architect, ITEC
Agenda
Time | Session |
8:30-9:00 | Registration and Welcome Coffee |
9.00 - 9.20 | Introduction and AdaCore Offering |
9.10 - 9.40 | Strategy Update and GNAT Pro |
9.40 - 10.10 | Ada Language Evolution |
10.10 - 10.20 | SPARK |
10.20 - 10.30 | SPARK Rover Demo |
10.30 - 11.00 | Coffee Break |
11.00 - 11.25 | Static Analysis with GNAT Static Analysis Suite |
11.25 - 11.45 | Static Analysis with CodeSonar |
11.45 - 12.10 | Dynamic Analysis |
12.10 - 13.30 | Lunch, Networking and Live Demos |
13.30 - 14:00 | Critical Software User Story from ITEC |
14.00 - 14.10 | Cybersecurity |
14.10 - 14.20 | Certification |
14.20 - 14.40 | Rust |
14.40 - 14.50 | AI |
14.50 - 15.00 | IDE |
| 14.50 - 15.30 | Coffee Break and Live Demos |
| 15.30 - 16.00 | Q&A with our Experts |
| 16.00 - 16.15 | Closing Remarks |
| 16.15 - 17:45 | Cocktail Reception |