Invitation to Attend the 3rd seL4 Summit
14 Oct
2020
14 Oct
'20
11:16 p.m.
Dear seL4 Community, 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_202... Presentations will be streamed according to the schedule and available for download right after, and there will be an on-line discussion forum. Registration is only $80US: https://na.eventscloud.com/ereg/index.php?eventid=579066& Gernot
1499
Age (days ago)
1499
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list