Dear friends, The news has already started to spread, so here it is from us: The 3 of us will be leaving our current positions in CSIRO/Data61 on April 13th. We will be starting a company focusing on formal verification of seL4-based systems and of critical software in general, towards the vision we continue to believe in: a world where critical systems are formally verified. We are looking forward to keeping working with you and we'll tell you more soon, when the company exists, so stay tuned! We will send you our future contacts shortly. Our seL4 and UNSW addresses below will still work in the future (but our CSIRO/Data61 email addresses will stop working from April 13th). june.andronick@unsw.edu.au june@sel4.systems gerwin.klein@unsw.edu.au gerwin@sel4.systems rafalk@cse.unsw.edu.au Cheers, June