Dear all, Gerwin, Raf and I will be starting a new adventure soon! Our CSIRO/Data61 email addresses will cease to work after Tuesday 13th April 2021. You can still contact us on our seL4 addresses [0] or UNSW addresses [1], until we send you our new contact details (after a couple of weeks of break ;) ) If you want to hear more about our next adventure [2], save one of the following dates: - Australia-US virtual launch (~30min): Tue 11th May, 9am in Sydney, Mon 10th May 4pm/6pm/7pm in PST/CST/EST - Australia-Europe virtual launch (~30min): Wed 12th May, 5pm in Sydney, Wed 12th May, 9am in CEST - Sydney physical launch: Friday 14th May, 5-7pm in Sydney (TBC and location TBA) Feel free to spread the word! June, Rafal, Gerwin [0] june@sel4.systems gerwin@sel4.systems raf@sel4.systems [1] june.andronick@unsw.edu.au kleing@unsw.edu.au rafalk@cse.unsw.edu.au [2] 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.