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_
Latest Blog Posts
[Blog Post]
Claire Dross
From Raw Arrays to Typed Ownership: A Layered Allocator in SPARK
[Blog Post]
Olivier Henley
Ada-FPGA-Programmer: Configuring a Tang Nano 9K from Bare-Metal Ada, Built by Students
[Blog Post]
Kyriakos Georgiou, Paul Butcher