AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.
Commercial offer evolution
GNAT Pro update
Lightweight static analysis with libadalang
Sharing files across projects through project files
Dealing with platform obsolescence
GPS for bare metal development
A platform for autonomous vehicles in Ada and SPARK
Ada 2020 update
Centre de Conférences Edouard VII
23 square Edouard VII
Visit the venue website
If you are interested in the event you may pre-register using the form below or contact us at firstname.lastname@example.org for more information.