September 19-21, 2023
Minneapolis, MN
#SEL4Summit
15
5
15
29
31
Weeks
Days
Hours
Minutes
Seconds
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 |