AdaCore Blog

AdaCore Tech Days 2015

by AdaCore Admin


We are now pleased to announce the full agenda for the AdaCore Tech Days!

They will be taking place in Paris on the 1st October 2015 at ServCorp and in Boston, US on the 3rd and 4th November 2015 at Boston Marriott Burlington.

Tech Days are hands on events that aim to give you the latest information about AdaCore’s current and future products, straight from the developers, themselves. The Boston event will also include training sessions.

You will have the opportunity to:

  • Participate in training sessions on the following topics: GPS, GNATbench, Static Analysis with CodePeer, Ada 2012, and hands on Ada programming on ARM.
  • Watch AdaCore Technical staff presenting the latest news about AdaCore’s new and planned products.
  • Ask about: GNAT Pro, CodePeer, SPARK Pro, and our new QGen code generation and verification tool for Simulink® and Stateflow® models.
  • Meet and discuss with other AdaCore users.

A detailed agenda for both the EU and US events is now online.

We look forward to you joining us. Please register via our website and don’t hesitate to email events@adacore.com.


Please Note: Following the success of our previous GNAT Industrial User events, and due to an increased product range that we now offer at AdaCore, this has been renamed to better represent the opportunities available.


Posted in #AdaCoreTechDay    #GNAT Pro    #CodePeer    #SPARK Pro    #SPARK    #QGen