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!