We’re contemplating running a seL4 developers day in conjunction with the DARPA HACMS PI meeting in Pittsburgh on Tue, Sep 6 2016.
If you would be interested in attending, please drop me a short email by Thursday night of your local time zone.
If enough people register interest we will try to organise one.
Cheers, Gerwin
-- Prof Gerwin Klein, Research Group Leader, Trustworthy Systems DATA61 | CSIRO gerwin.klein@data61.csiro.au T +61 2 8306 0578 http://data61.csiro.au
NICTA and CSIRO’s Digital Productivity business unit have joined forces to create the digital powerhouse Data61