Dear seL4 community, After the great success of our first Developers Day last month, our friends at DARPA are organising a second one, this time on the US West Coast, and open to the wider community (capacity limits apply, of course). The event is hosted by our friends at HRL Labs in Malibu, CA. For details and registration info, please check the seL4 web site: https://sel4.systems/Community/Devdays/ Hope to see some of you there! Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.