June, great work in putting the agenda together. Looks good to me. Axel ________________________________________ Von: June Andronick (seL4 Foundation) <june@sel4.systems> Gesendet: Freitag, 10. Juni 2022 09:50 An: sel4 summit PC Betreff: [Summit-pc] seL4 summit: finalised draft program --please check! This message was sent from outside of HENSOLDT. Please do not click on links or open attachments unless you validate the source of this email and know the content is safe. 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