We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023.

The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.)

Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program.

Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now.

Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information.

The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf.

Thanks for your submission and we look forward to a successful summit!

Kind regards

Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee