AdaCore Tech Days Boston — November 15-16, 2017 — Boston Marriott – Burlington, Massachusetts

November 15-16, 2017 — Boston Marriott – Burlington, MA

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.


Wednesday November 15, 2017

8:30 – 9:00 am
9:00 – 10:00 am
Keynote presentation
10:00 - 10:30am
10:30 - 12 Noon
Market perspective
Commercial offer evolution
Ada 2020 update
12 Noon - 1:30pm
1:30 - 3:00pm
GNAT Pro update
Sharing files across projects through project files
Controlling elaboration order with GNAT Pro
3:00 - 3:30pm
3:30 - 5:00pm
Code coverage approaches
Run-time libraries
GPS for bare metal development
Tailoring GPS with Python
5:00 - 5:30pm
5:30 - 8:30pm
Reception and dinner

Thursday November 16, 2017

9:00 - 10:30am
Static Analysis update
Scaling up with CodePeer
Getting started with SPARK Discovery
Lightweight static analysis with libadalang
A platform for autonomous vehicles in Ada and SPARK
10:30 - 11:00am
11:00 - 12:30am
QGen update
Dealing with platform obsolescence
R&D projects and results
12:30 - 2:00pm
2:00 - 3:30pm
Open mic session
Demos and "live support"

View a collection of slides from the 2016 event


If you would like to attend this event, please register by completing the form below. You can also contact us at if you have any questions or would like additional information.

First Name *
Last Name *
Job Title *
Organization *
Customer Number (optional)
Country *
Tel *
Email *
Any information we should be aware of (e.g., dietary restrictions), or specific questions that you would like to see answered?


The Venue & Accomodations

Boston Marriott Burlington
One Burlington Mall Rd.
Burlington, MA 01803

Special event rate for AdaCore Tech Days attendees: $189 (plus taxes and fees) per night.

You can make room reservations from the Marriott website or by phone at (888) 855-7741.

If making reservations by phone, please refer to "Adacore Meeting" and/or the special identification code "ACE" in order to get the special event rate.