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! The CoE plans to use the feedback from attendee surveys to help make the 2020 seL4 Summit even better.

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.