# Thanks Collins Aerospace for being Silver Sponsor of the seL4 Summit 2023

**URL:** <https://sel4.discourse.group/t/thanks-collins-aerospace-for-being-silver-sponsor-of-the-sel4-summit-2023/728>\
**Category:** Uncategorized\
**Created:** [July 12, 2023, 6:06am UTC](https://sel4.discourse.group/t/thanks-collins-aerospace-for-being-silver-sponsor-of-the-sel4-summit-2023/728 "2023-07-12T06:06:35Z")\
**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:** [July 12, 2023, 6:06am UTC](https://sel4.discourse.group/t/thanks-collins-aerospace-for-being-silver-sponsor-of-the-sel4-summit-2023/728/1 "2023-07-12T06:06:35Z")

</div>

The seL4 Foundation thanks Collins Aerospace for becoming a Silver sponsor of the seL4 Summit 2023.

Collins Aerospace, part of seL4 Foundation member Raytheon Technologies, has been a long-time core participant in the seL4 ecosystem. It was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same team also led the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures.

The seL4 Summit 2023 will take place in Minneapolis, home town of this Collins Aerospace team involved in seL4.

> **[Collins Aerospace](https://www.collinsaerospace.com/)**
>
> Collins Aerospace is a leader in technologically advanced and intelligent solutions for the global aerospace and defense industry.

[https://sel4.systems/Foundation/Summit/2023/](https://sel4.systems/Foundation/Summit/2023/)  
[https://sel4.systems/news/2023#sponsor23-collins](https://sel4.systems/news/2023#sponsor23-collins)

If you are interested in sponsoring the seL4 summit 2023, follow:

> **[Sponsor | Linux Foundation 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…