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

Please save the dates! The 2019 seL4 Summit will be held September 23-26, 2019 at the Hyatt Regency Dulles Herndon, VA. We would like to thank the Summit 2018 attendees and speakers, and encourage them to attend the 2019 Summit and invite their colleagues.

seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence for seL4 ecosystems, aiming to further mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop much needed capabilities required by the Department of Defense, other government agencies, and commercial applications.

The development of seL4 was supported by the Defense Advanced Research Projects Agency (DARPA) under the High-Assurance Cyber Military Systems (HACMS) program, which aims to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties.


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

Agenda

The dates (September 23-26, 2019) for the seL4 Summit have been finalized, but the agenda is still being planned. Please note that the length of the Summit has been increased by one day in order to accomodate additional speakers, panel discussions, and training opportunities. If you would like to view last year's 2018 seL4 Summit Agenda, you can find it here: https://sel4-us.org/summit/#agenda

Venue

Hyatt Regency Dulles
2300 Dulles Corner Blvd., Herndon, VA 20171

In order to receive the best possible discounted group rate, please delay making your hotel reservations. This section will be updated with appropriate hotel reservation links once established.

hotel

seL4 Summit Registration

If you would like to be notified about the 2019 seL4 Summit and other major seL4 events, please consider emailing any contact information that you feel comfortable sharing to: summit@sel4-us.org

We respect your privacy, so please be assured that we will only use your email address to contact you about significant seL4-related events.

Contact

Do you have additional questions about the seL4 Summit?

summit@sel4-us.org