seL4 Summit 2019

The second annual seL4 Summit is a multi-track event focused on the Secure Embedded L4 (seL4) Microkernel.

seL4 is the world’s first open source operating-system kernel with an end-to-end proof of implementation correctness and security enforcement. The seL4 Summit will provide attendees the opportunity to attend presentations by government, industry, and academia experts; interact with discussion panels; and obtain an introductory, hands-on training for the seL4 microkernel.

DON'T DELAY, REGISTER TODAY FOR EARLY BIRD RATES* 

*Prices increase on 8/5/2019

 

Registration questions? Call or email Yvonne Lopez at 303-530-0205 Ext. 15 

Event management software by Aventri