AdaCore Blog

AdaCore at FOSDEM 2023

by Fabien Chouteau

This year marks the return of the FOSDEM conference as an "in-person" event. As always, AdaCore will participate in this major gathering of the free and open source community.

We encourage you to stop by the Ada-Europe booth (Building K, level 2) to have a chat or get answers to any questions regarding Ada, SPARK, or other topics, such as those covered in our blog.

In addition, on Sunday at 15:00 Brussels time, Fabien Chouteau will present: Get Started with Open Source Formal Verification in the H.2215 (Ferrer) room. As with all FOSDEM talks, it will be broadcast live and recorded.

Hope to see you at FOSDEM this weekend, virtually or in-person!

Posted in

About Fabien Chouteau

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.