AdaCore at FOSDEM 2020
by Fabien Chouteau –
Like last year and the year before, AdaCore will participate to the celebration of Open Source software at FOSDEM. It is always a key event for the Ada/SPARK community and we are looking forward to meet Ada enthusiasts. You can check the program of the Ada/SPARK devroom here.
AdaCore engineers will give two talks in the Ada devroom:
- Pierre-Marie and Fabien joined by Alejandro Mosteo will present the Alire package manager (alire.ada.dev)
- Pierre-Marie will also do a talk on his Ada TOML parser library
We have a talk in the Hardware Enablement devroom:
- Corentin and Fabien will present a new tool to generate BSPs for more than 3000 ARM micro-controllers
And there is a related talk in the Security devroom on the use of SPARK for security:
- Tobias Reiher from Componoli: Securing Existing Software using Formally Verified Libraries
Hope to see you at FOSDEM this week-end!