Next slide read: "No, Ironclad is interesting *because* of Ada. You should try it." Operating Systems work in the #AdaProgramming and #SPARKprogramming languages. Now at #AdaDevRoom
#FOSDEM will be held online on 5-6 Feb 2022. If you want to help organizing an #AdaDevRoom, subscribe to the dedicated #AdaFOSDEM mailing list at ls.kuleuven.be/archives/adaf… and please read the message with subject "Ada at FOSDEM 2022?" that I posted there yesterday.
Oops! Slides are much older: see original version at people.cs.kuleuven.be/~dirk.… (was misled by timestamp, probably inserted when source was copied to slideshare...). More recent presentations exist, search in #AdaDevRoom and #FOSDEM archives.
I have no recent info readily available. We had presentations in the #AdaDevRoom at #FOSDEM quite some time ago. I recommend to ask in an #AdaProgramming forum, such as the comp.lang.ada newsgroup.
Video recordings of all talks will become available in the near future. For the #AdaDevRoom: this will be announced on Ada-related mailing lists and on the #AdaBelgium web-page for the event. Stay tuned... #AdaProgramming#FOSDEM2020