On 27 Jan 2021, at 10:15, Gerwin Klein kleing@unsw.edu.au wrote:
The Technical Steering Committee (TSC) of the seL4 Foundation will hold its next public meting on:
Fri 29 Jan 2021 15:30-17:00 Sydney time (5:30am in Berlin, 8:30pm in San Francisco).
I should add that this makes it Thu 28 Jan, 8:30pm in San Francisco (Fri for Australia and Europe).
Cheers, Gerwin