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, 20178:30 – 9:00 am
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
Commercial offer evolution
Ada 2020 update
Sharing files across projects through project files
Controlling elaboration order with GNAT Pro
GPS for bare metal development
Tailoring GPS with Python
Thursday November 16, 20179:00 - 10:30am
Scaling up with CodePeer
Getting started with SPARK Discovery
Lightweight static analysis with libadalang
A platform for autonomous vehicles in Ada and SPARK
Dealing with platform obsolescence
R&D projects and results
Demos and "live support"
If you would like to attend this event, please register by completing the form below. You can also contact us at email@example.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) 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.