Tech Days Logo

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 — Dr. Paul E. Black

National Institute of Standards and Technology

Lead author of the NIST report ‘Dramatically Reducing Software Vulnerabilities’ will summarize "lessons learned" from the report with a focus on formal methods and strong languages


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"

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.

The Venue & Accomodations

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

The Boston Marriott Burlington has arranged special room rates for AdaCore Tech Days attendees: just $147/night. Call (800) 228-9290 and request the “AdaCore Tech Days special rate.” Rooms are available at this rate from November 12th through the 17th. Reservations must be made no later than October 25. You can still book your room after October 16 but at standard rates. You may reserve your room from the Marriott website.