Ada SPARK Office Hours 2028-09-11

Events
1

This Friday is the next instance of our Ada SPARK Office Hours. Proposed topics:

  • Discussion on some of the Ada extensions (aka Flare)
  • Lifting existing Ada projects to SPARK
  • FOSDEM Ada DevRoom
  • Maybe we can uncover a bit of the blanket on this

And of course open to any other topics people are interested to talk about.

More detail and links are here: Ada SPARK Office Hours | AdaCore , 10am-11am ET!

Feel free to propose additional topics by commenting on this article. Recording and summary will be posted typically within a week.

2 Likes
2

I sadly wont make it to this meeting in any way, so have fun and feel free to forward me any questions related to FOSDEM if they are left unanswered!

Best regards,
Fer

PS: good luck @markhermeling in NASPICE!

1 Like