September 19-21, 2023
The seL4 Summit is the annual international summit on the seL4 microkernel, the world’s most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people.
It aims to gather all the seL4 community to learn, share, and connect:
SCHEDULE at a glance
All times listed in CDT (GMT-5)
|Tuesday, September 19||Sessions + Reception|
|Wednesday, September 20||Sessions + Dinner|
|Thursday, September 21||Sessions|