Friendly reminder that the seL4 board meeting is coming up on 2025-11-18 at 22:00 UTC.

See you all soon

June

seL4 BM

Scheduled: 18 Nov 2025 at 23:00 to 19 Nov 2025 at 00:00, CET

Location: https://unsw.zoom.us/j/88587187291

Invitees: Qiyan Wang, seL4 Board, Birgit Brecknell, June Andronick, David Hardin, Gerwin Klein, Gernot Heiser, Matthew Grosvenor, Hardin, David 

Agenda attached.

Notice: 

This conference may be recorded for security, educational, quality and coaching purposes.  Please contact the conference organiser if you have concerns about this or would like more information about your rights under privacy legislation.

Information on UNSW's privacy policy is available at https://www.legal.unsw.edu.au/compliance/privacyhome.html 

----------------------------------------------------------------- 

Australian Toll number:    Dial: +61 (0) 2 8015 2088 

----------------------------------------------------------------- 

Hi there, 

June Andronick is inviting you to a scheduled Zoom meeting. 

Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/88587187291

Or iPhone one-tap :

    Australia: +61871501149,,88587187291#  or +61280156011,,88587187291# 

Or Telephone:

    Dial(for higher quality, dial a number based on your current location)：

        Australia: +61 8 7150 1149  or +61 2 8015 6011  or +61 3 7018 2005  or +61 7 3185 3730  or +61 8 6119 3900 

    Meeting ID: 885 8718 7291

    International numbers available: https://unsw.zoom.us/u/kd1rL01Sr5

Or an H.323/SIP room system:

    Dial 88587187291@zmau.us

    or 103.122.166.55

    Meeting ID: 88587187291

Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us