September 2015 - Announce - lists.sel4.systems

Registration for devdays
by Announcements about seL4 -- low volume list 17 Sep '15

17 Sep '15

We had a few issues with the registration form, but these should now be resolved. https://sel4.systems/Community/Devdays/ for info and https://sel4.systems/Community/Devdays/register.pyl for registration. Peter C -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA

1 0

Second seL4 Developers Day, 8–9 Oct in Malibu
by Announcements about seL4 -- low volume list 16 Sep '15

16 Sep '15

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.

1 0

seL4 Roadmap announced
by Announcements about seL4 -- low volume list 16 Sep '15

16 Sep '15

Dear seL4 community, Our development and verification roadmap is now published at https://sel4.systems/Info/Roadmap/ 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.

1 0

So Long NICTA, Go DATA61!
by Announcements about seL4 low volume list 03 Sep '15

03 Sep '15

Dear seL4 community, This announcement is not strictly about seL4, but is highly relevant to it. NICTA has merged with the Digital Productivity business unit of CSIRO, Australia’s largest and oldest research organisation, and the only one spanning the whole range of science. The resulting entity is called DATA61: http://www.minister.industry.gov.au/ministers/macfarlane/media-releases/csi… You will see changes in branding, e-mail addresses etc in the coming weeks and months, as the NICTA brand is being replaced by DATA61. You will *not* see changes in our commitment to seL4, and its role as a foundation for building highly dependable systems. What used to be the Trustworthy Systems Team at NICTA will continue in DATA61, and its vision of fundamentally changing the way systems are engineered will not change. Our strategy will remain essentially the same (subject to a similar degree of evolution as over the past few years, to ensure maximal relevance and impact). Stay tuned for exciting announcements seL4 itself in the next few days. 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.

1 0