Robuta

https://developers.googleblog.com/en/submit-a-talk-for-ignite-google-io/ Submit a Talk for Ignite Google I/O - Google Developers Blog submit a talk developers blog ignite google https://lists.sel4.systems/hyperkitty/list/announce@sel4.systems/message/P3F3DISZOZMBFMQTGAYZOJAKSWAXZWZU/ [seL4 Announce] seL4 summit dates (and don't forget to submit a talk!) - Announce -... submit a talk announce summit dates forget