Fwd: [seL4 Announce] Second seL4 Devel opers Day, 8–9 Oct in Malibu

---------- Forwarded message ----------
From: Announcements about seL4 -- low volume list <announce-LcaqB3DJymW7J7/[email protected]>
Date: Tue, Sep 15, 2015 at 7:29 PM
Subject: [seL4 Announce] Second seL4 Developers Day, 8–9 Oct in Malibu
To: "announce-LcaqB3DJymW7J7/[email protected]" <announce-LcaqB3DJymW7J7/[email protected]>


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

[...]

_______________________________________________
Announce mailing list
Announce-LcaqB3DJymW7J7/[email protected]
https://sel4.systems/lists/listinfo/announce



-- 
    Cheers,
    --MarkM

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