seL4-US
seL4 Summit
seL4 Summit
seL4 Summit

Air Force Research Laboratory
Defense Advanced Research Projects Agency
seL4
Air Force Research Laboratory
Defense Advanced Research Projects Agency
seL4
Air Force Research Laboratory
Defense Advanced Research Projects Agency
seL4

Welcome to the future home of the 2020 seL4 Virtual Summit!

The 2020 seL4 Virtual Summit will be held November 15 - 18, 2020. If you are interested in presenting and need additional information, please view/download the Call for Presentations document.

We will soon be providing additional details about the 2020 Summit. In the meantime, please consider visiting the Summit websites for prior years:

seL4 Summit 2019

The 2019 seL4 Summit was held on September 23-26, 2019 at the Hyatt Regency Dulles Herndon, VA. We would like to thank the Summit attendees, and especially the Summit speakers, for making the Summit a great success! Many of the speakers have generously agreed to make their Summit presentations available for download. Please check out the Agenda section of the 2019 seL4 Summit website for presentation downloads.

seL4 Summit 2018

The first annual seL4 Summit was held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. For more information about the 2018 seL4 Summit, please visit the 2018 seL4 Summit website.


For general information (Wiki, GitHub, etc.) about the seL4 Microkernel, please visit https://www.sel4-us.org