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!