Summit-pc

Download

summit-pc@sel4.systems

June 2022

3 participants
2 discussions

Re: seL4 summit 2022 - Draft program: pls check by COB 27 Jun
by Cofer, Darren D Collins 25 Jun '22

25 Jun '22

Looks good to me. Darren ________________________________ From: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Sent: Friday, June 24, 2022 2:07:47 AM To: summit-pc(a)sel4.systems <summit-pc(a)sel4.systems> Subject: [External] seL4 summit 2022 - Draft program: pls check by COB 27 Jun Dear Presenters and PC Please find attached the draft program for the seL4 Summit 2022. NB: We haven't finalised all the talk titles, presenters and affiliations. Action item: Please check the program and let us know if there are any problems with it. Please do this by COB Mon 27 Jun, so that we can advertise the program next week. Many thanks, Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

seL4 summit: finalised draft program --please check!
by June Andronick (seL4 Foundation) 13 Jun '22

13 Jun '22

Hi all, please find attached a finalised draft program. I’ve managed to fit everything in, but it’s tight! We’ve got a packed program, and a nice one :) Can you please check it and send me any concern within a few days? We’d like to send notifications Wed next week. Don’t worry about the titles, we’ll ask for finalised one when sending the notifications. Thanks! June AMA = Ask Me Anything BoF = Birds of a Feather

2 1