Join Proofcraft and UNSW as a sponsor of this 2024 edition, and support the seL4 technology, like sponsors of last editions did: NIO, Kry10, Collins Aerospace, Technology Innovation Institute, DornerWorks, Horizon Robotics and Xcalibyte. https://events.linuxfoundation.org/sel4-summit/sponsor/ https://sel4.systems/Foundation/Summit/2024/#summit-sponsors