The WG9 committee have asked the Ada commumity to provide input for the next version of the Ada Language, Ada 2020. This offers a great chance for input from those people working in Ada everyday, in an industrial capacity, to propose their own ideas to improve the language.
(From the Archive) Provably Secure DNS: A case study in reliable software. An excellent paper from the Ada-Europe conference in 2013, by Barry Fagin and Martin Carlisle, using SPARK to build a DNS server. this was a hugely inspiring paper on the power of Ada and SPARK.
(From the Archive) In May 2013 Toyota started a project that made use of SPARK Pro. this development was regarded as significant as it meant the motor industry was taking software seriously for the first time. The story was reported by AdaCore and a number of news outlets including eenews.