FOSDEM 2017

Feb 4-5, 2017 – Brussels, Belgium

AdaCore is attending this event and will be giving two talks:

"Prove with SPARK: No Math, Just Code" from Yannick Moy and "64 bit Bare Metal Programming on RPI-3" from Tristan Gingold.