Like last year, we've sent a squad of AdaCore engineers to participate in the celebration of Open Source software at FOSDEM. Like last year, we had great interactions with the rest of the Ada and SPARK Community in the Ada devroom on Saturday. You can check the program with videos of all the talks here. This year's edition was particularly diverse, with an academic project from Austria for an autonomous train control in Ada, two talks on Database development and Web development made type-safe with Ada, distributed computing, libraries, C++ binding, concurrency, safe pointers, etc.
AdaCore engineers gave two talks in the Ada devroom:
- Nico talked about the Ada POSIX shell that we use at AdaCore
- Yannick talked about the upcoming support for pointers in SPARK
We also had a talk in the RISC-V devroom:
- Fabien presented how to use Ada and SPARK on RISC-V platforms
And there was a related talk in the Security devroom on the use of SPARK for security:
- Tobias Reiher from Componolit presented the library RecordFlux for implementing safer communication protocols in SPARK
Hope to see you at FOSDEM next year!