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
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"


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

The Boston Marriott Burlington has arranged special room rates for AdaCore Tech Days attendees: just $147/night. Call (800) 229-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.