# Sponsor the seL4 summit in Sydney!

**URL:** <https://sel4.discourse.group/t/sponsor-the-sel4-summit-in-sydney/843>\
**Category:** Uncategorized\
**Created:** [June 6, 2024, 4:01pm UTC](https://sel4.discourse.group/t/sponsor-the-sel4-summit-in-sydney/843 "2024-06-06T16:01:17Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![june.andronick](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/june.andronick/32/115_2.png) [@june.andronick](https://sel4.discourse.group/u/june.andronick)\
**Post date:** [June 6, 2024, 4:01pm UTC](https://sel4.discourse.group/t/sponsor-the-sel4-summit-in-sydney/843/1 "2024-06-06T16:01:17Z")

</div>

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.

> **[Sponsor | LF Events](https://events.linuxfoundation.org/sel4-summit/sponsor/)**
>
> Download the sponsorship Prospectus Contact Us Ready to sign, click here Email us at summit@sel4.systems to reserve your sponsorship, ask questions or talk about different options. Or, if you’re ready…

[https://sel4.systems/Foundation/Summit/2024/#summit-sponsors](https://sel4.systems/Foundation/Summit/2024/#summit-sponsors)