Creating
Breakthrough
Technologies and Capabilities
For National Security

Darpa
Communities

DARPA’s success depends on the vibrant ecosystem of innovation within which the Agency operates, and is fueled by partners in multiple sectors.

Darpa Events

seL4 Summit

November 14-16, 2018
DARPA’s Information Innovation Office is co-hosting the first annual seL4 Summit along with the Air Force Research Laboratory and General Dynamics C4 Systems. seL4 is an open-source, high-assurance, high-performance microkernel; its implementation is formally proven correct against its specification. The three-day seL4 Summit will focus on maturing seL4 kernel technology, stabilizing software distribution, expanding user adoption, and transitioning the technology into various applications. Attendees will also have the opportunity to receive hands-on training for the microkernel.

Spectrum Collaboration Challenge

October 23, 2019
DARPA’s Microsystems Technology Office will hold a series of competitive events as the Agency’s next grand challenge—the Spectrum Collaboration Challenge (SC2)—unfolds over three years, starting in 2016. SC2 is the first-of-its-kind collaborative machine-learning competition to overcome scarcity in the radio frequency spectrum. Today, access to the spectrum is managed by dividing it into rigid, exclusively licensed bands.

For a full list, please visit our Events page.