seL4 Summit

November 14 - November 16 / 8:00 AM - 5:00 AM EST
11/14/18 8:00 AM 11/16/18 5:00 AM America/New_York seL4 Summit Hilton Washington Dulles Airport, 13869 Park Center Road, Herndon, US
Event Location: 
Hilton Washington Dulles Airport
13869 Park Center Road
Herndon, VA 20171
United States

The first annual seL4 Summit will be held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. 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 seL4 Center of Excellence is currently being led by Intelligent Automation Inc. (Principal Investigator: Dr. Jason Li).

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.