Fwd: [seL4 Announce] So Long NICTA, Go DATA61!

---------- Forwarded message ----------
From: Announcements about seL4 — low volume list <[email protected]>
Date: Thu, Sep 3, 2015 at 5:55 AM
Subject: [seL4 Announce] So Long NICTA, Go DATA61!
To: "announce-LcaqB3DJymW7J7/[email protected]" <announce-LcaqB3DJymW7J7/[email protected]>


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/csiro-and-nicta-join-forces-create-digital-research-powerhouse-0

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

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk