Feb 04, 2021
AdaCore at FOSDEM 2021
Like previous years, AdaCore will participate in FOSDEM. This time the event will be online only, but this won’t prevent us from celebrating Open Source software.
AdaCore engineers will give two talks in the Safety and Open Source devroom, a topic at the heart of AdaCore since its inception:
- Saturday the 6th at 11am Brussel time, Joffrey Huguet will present: Adding contracts to the GCC GNAT Ada standard libraries
- Saturday the 6th at 1:30pm Brussel time, Claire Dross will present: Proving heap-manipulating programs with SPARK
Hope to see you (virtually) at FOSDEM this week-end!
Author
Fabien Chouteau
Fabien joined AdaCore in 2010 after his engineering degree at the EPITA (Paris). He is involved in real-time, embedded and hardware simulation technology. Maker/DIYer in his spare time, his projects include electronics, music and woodworking.
Blog_
