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.

Agenda

Wednesday November 15, 2017

8:30 – 9:00 am
Registration
9:00 – 10:00 am
Introduction/Welcome
Keynote presentation
10:00 - 10:30am
Break
10:30 - 12 Noon
Market perspective
Commercial offer evolution
Ada 2020 update
12 Noon - 1:30pm
Lunch
1:30 - 3:00pm
GNAT Pro update
Sharing files across projects through project files
Controlling elaboration order with GNAT Pro
3:00 - 3:30pm
Break
3:30 - 5:00pm
Code coverage approaches
Run-time libraries
GPS for bare metal development
Tailoring GPS with Python
5:00 - 5:30pm
Break
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
Break
11:00 - 12:30am
QGen update
Dealing with platform obsolescence
R&D projects and results
12:30 - 2:00pm
Lunch
2:00 - 3:30pm
Open mic session
Conclusions
Demos and "live support"


View a collection of slides from the 2016 event

Registration

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

Data
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.