AdaCore at FOSDEM 2021

by Fabien Chouteau – Feb 04, 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!

Posted in

About 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.