The 3rd seL4 Summit will take place (virtually) on 15–18 November (US East Coast time). The program features a tutorial and 3 days packed with great talks and panels, see https://na.eventscloud.com/file_uploads/a236a51b4b76609e82fcc316992b73f4_2020seL4SummitTechnicalAgendav5FinalL2.pdf

Presentations will be streamed according to the schedule and available for download right after, and there will be an on-line discussion forum.