Tech Days Logo2018

November 14-15, 2018
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.


  2. Registration
  3. Welcome
  4. Keynote Presentation

    Assured Software: A Journey and Discussion

    Bob Martin
  5. Break
  6. Market Perspective
  7. GNAT Pro Update
  8. General Programming on Graphical Processing Units
  9. Integrating GPS into your Workflows
  10. LUNCH
  11. Ada Community
  12. Adopting Formal Methods
  13. AdaCore Technologies for Cyber Security
  14. C/C++ Offering
  15. BREAK
  16. Future Airborne Capability Environment (FACE) Support
  17. Libadalang Update
  18. Hidden Gems
  19. Embedded Development
  2. Registration
  3. QGen and TQL Qualification
  4. Ada 2020 Update
  5. CodePeer Update
  6. Integration, Proof of Concept and Prototyping
  7. Break
  8. Demo: Covering CWE with Programming Languages and Tools
  9. Demo: GNATcoverage
  10. Demo: CodePeer
  11. "Open Mic" Session/Conclusions


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.

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 11th through the 15th. Reservations must be made no later than October 24. You can still book your room after this date but at standard rates. You may reserve your room from the Marriott website.