GNAT Industrial User Day

Meet. Learn. Share.

Paris, September 25th, 2013

Thanks to everyone who participated in the GNAT Pro Industrial User day event!

It was a great day. In case you missed it, here is the agenda from the day and some slides from talks at the event.

Agenda

09:30 - 09:45
Introduction
09:45 - 10:15
AdaCore insights
10:15 - 11:00
Writing reliable software: formal verification and static analysis
11:00 - 11:30
Break
11:30 - 12:15
User cases from the field - customer presentations
12:15 - 13:00
The Ada ecosystem - AdaCore partner presentations
13:00 - 14:00
Lunch
14:00 - 14:20
AdaCore University
14:20 - 15:00
GNATdashboard - a software development panel
15:00 - 15:45
A new generation of toolsets
- GPS 6 (IDE presentation, Gtk 3)
- GNAT Tracker 3: closer than ever to AdaCore
15:45 - 16:15
Break
16:15 - 16:45
Ada development on ARM processors
16:45 - 17:15
The latest and greatest (and future developments) in GNAT Pro
(GPRbuild, GNAT2XML, new ports, GNATcoverage/GNATemulator, Qualifying Machine, ...)
17:15 - 17:45
R+D projects and closing remarks and questions
17:45
Cocktail


Event Slides

If your team would be interested in a live presentation of these slides, please contact us at info@adacore.com