Newsletter & Mailing List

GNAT Pro Insider

Email Updates

To receive the latest press releases, company and product news by email please subscribe to our electronic mailing list.

    

Sign up for GNAT Pro Insider

Sign up and receive the printed version of GNAT Pro Insider, our company newsletter which is published and mailed twice a year.

Sign up for GNAT Pro Insider »

Previous Issues

  • GPS 6.0 Released
  • Current Releases
  • In the Pipeline
  • Academia Corner: AdaCore University Lauched
  • Interview with Ben Brosgol
  • GNAT Industrial User Day
  • Technology Corner: What’s New in SPARK 2014?
  • Conferences/Events
  • Major New Release of CodePeer
  • GNAT Pro Safety‐Critcal for ARM
  • Hi‐Lite Project Completed
  • Current Releases
  • In the Pipeline
  • Academia Corner: Professional Courses from AdaCore
  • Interview with Valentine Reboul
  • GNAT Pro User Day
  • Technology Corner: Solving the 4 Endianness Problem with GNAT
  • Conferences/Events
  • GPRbuild 2.0 Enhances Support for Multi-Language Projects
  • Ada 2012 Approved by ISO, Featured on New Website
  • GNAT Industrial User Day Keeps Users Informed
  • Current Releases
  • In the Pipeline
  • Academia Corner: Universidad Politécnica de Madrid
  • Interview with S. Tucker Taft
  • AdaCore at HILT 2012
  • Technology Corner: Dealing with Integer Overflow
  • Conferences/Events
  • AdaCore and SofCheck Join Forces
  • Ada 2012 Reference Manual Submitted to ISO
  • Who's new at AdaCore
  • Current Releases
  • In the Pipeline
  • New Course on DO-178C
  • Academia Corner: Kansas State University, US
  • Interview with Nicolas Setton
  • Open-DO Update
  • Webinar Schedule
  • Technology Corner: Parasail
  • GNAT Pro User Day
  • Conferences/Events
  • GPS 5.1 Strengthens Multi-Language Support, Tightens CodePeer Integration
  • GNATcoverage wins Electron d’Or Prize
  • Current Releases
  • In the Pipeline
  • Academia Corner: University of Southampton,UK
  • Interview with JC Bernedo
  • Webinar Schedule
  • SPARK Prevents Software Vulnerabilities
  • Technology Corner: Contract-Based Programming in Ada 2012
  • Conferences/Events
  • New Tools for Dynamic Analysis of Embedded Systems
  • AdaCore Awarded Research Funds for New High-Integrity Frameworks/Tools
  • Current Releases
  • Webinar Schedule
  • Academia Corner: Western Washington University
  • Interview with Olivier Hainque
  • Technology Corner: GtkAda
  • AdaCore at Wind River Conferences
  • Conferences/Events
  • GPS 5.0 Now Available
  • GNAT Pro High-Integrity Edition for DO-178B
  • Current Releases
  • In the Pipeline
  • Academia Corner: Telecom ParisTech
  • Academia Corner: University of Virginia
  • Interview with Steve Baird
  • Webinar Schedule
  • Technology Corner: Multi-language Solutions Available
  • Conferences/Events
  • CodePeer Launched
  • DO-178C Nearing Completion
  • Current Releases
  • In the Pipeline
  • Webinar Schedule
  • Academia Corner: University of Virginia
  • Interview with José Ruiz
  • AdaCore Awarded Grant for Hi-Lite Project
  • Technology Corner: Ada 2012 Nearing Completion
  • Open-DO Update
  • Conferences/Events
  • AdaCore at Wind River Regional Conferences
  • GNAT Pro High-Integrity Edition for MILS
  • Model-Based Design Projects Underway
  • Current Releases
  • In the Pipeline
  • Academia Corner: The Australian National University
  • Interview with Pat Rogers
  • Webinar Schedule
  • Contracts
  • Conferences/Events
  • SPARK Pro Launched
  • Open-DO Initiative
  • Current Releases
  • In the Pipeline
  • Academia Corner: Vermont Technical College
  • Interview with Michaël Friess
  • Webinar Schedule
  • Ada Gem: Pragma No_Return
  • Conferences/Events
  • NSA-Sponsored Tokeneer Software Available
  • Project Coverage Launch Initiates
  • Open AdaCore Series
  • New Platforms
  • In the Pipeline
  • Academia Corner: Mälardalen University
  • Interview with Ed Falis
  • Webinar Schedule
  • Traceability Analysis Expands Safety-Critical Ada
  • Conferences/Events
  • New Release of GNAT Programming Studio
  • Contract Award for Coverage Analysis Project
  • Current Releases
  • In the Pipeline
  • Academia Corner
  • Interview with Emmanuel Briot
  • Webinar Schedule
  • Technology Corner:Pragmas Precondition and Postcondition
  • Conferences/Events
  • Gnat Pro High-Integrity Family Expanding to Servers
  • US Navy Policy Recognizes Open-Source Software
  • Current Releases
  • In the Pipeline
  • Spotlighting a GAP Member
  • Interview with Gregory Gicca
  • Webinar Schedule
  • AdaCore Partner Praxis High Integrity Systems Makes SPARK/Ada a Language to Depend on
  • Conferences/Events
  • What’s New in GNATbench 2.01
  • Major New Air Traffic Control System Using GNAT Pro
  • Current Releases
  • Spotlighting a GAP Member
  • Ada 2005 is an Official ISO Standard!
  • In the Pipeline
  • Interview with Arnaud Charlet
  • Technology Webinars
  • AdaCore Partner Vector Software Helps Certification Effort for DO-178B
  • AdaCore at Conferences
  • GNAT Pro and Ada 2005 Coming to .NET
  • GNATstack Tool Available
  • New GCC Technology
  • What’s Coming in GNAT Pro 6.0.1
  • New Version of gprmake
  • New Version of GNAT Tracker
  • Spotlighting a GAP Member
  • AdaCore at Conferences
  • Interview with Bob Duff
  • Public Courses at AdaCore New York
  • New Target Platforms for GNAT Pro
  • More Ada 2005 Features Available in GNAT Pro
  • GNAT Pro for Wind River's VxWorks 6
  • PolyORB 2.0
  • GPS update
  • GNAT Pro Available on OpenVMS for HP Integrity Servers
  • AJAX in Ada Web Server
  • Stack Usage Analysis Tool
  • Interview with Zepur Blot
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences
  • GNATbench:The Bridge Between GNAT Pro and Eclipse
  • Full Steam Ahead with Ada 2005!
  • What’s New with GNAT Pro
  • GPS 3.1 Available: Brings Many Improvements
  • GNAT Academic Program Update
  • Interview with Ed Schonberg
  • AdaCore in the News
  • Partnership Corner
  • AdaCore at conferences
  • GNAT Pro 5.03 Release
  • Dynamic Plug-in Loading with Ada
  • In the Pipeline
  • GAP Update
  • AdaCore at Ada Europe 2005
  • Interview with Franco Gasperoni
  • GNAT Pro Winner of 'Product of the Year'
  • Internationalization in Ada 2005
  • AdaCore at conferences
  • GNAT Pro High Integrity Edition Selected for Boeing 7E7 page 1
  • A New Look for AdaCore
  • Upcoming Releases
  • The Ada Academic Initiative
  • www.ada-answers.com Launches!
  • New GNAT Pro Cross-Compiler for ERC32
  • Interview with Robert Dewar
  • More GNAT Pro Ports on the Way!
  • GNAT Pro Jewel:Scripting in GPS
  • Technology Updates
  • Available on Site
  • AdaCore at ConferencesThe GNAT ProCompany