For the second time, AdaCore is hosting the "Make with Ada" competition. Last year's projects covered a wide ranging and inventive set of applications (you can see the winners of 2016 edition here). But none was using SPARK. I hope this year we'll have more projects in SPARK. The SPARK team will certainly pay close attention to be able to help those who want to take a dip into SPARK, on the various channels where you can communicate with us: Gitter forum, Stack Overflow, Reddit in particular. See you there!