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