# Call for bids to host the seL4 Summit 2022!

**URL:** <https://sel4.discourse.group/t/call-for-bids-to-host-the-sel4-summit-2022/469>\
**Category:** Uncategorized\
**Created:** [February 1, 2022, 4:04am UTC](https://sel4.discourse.group/t/call-for-bids-to-host-the-sel4-summit-2022/469 "2022-02-01T04:04:29Z")\
**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:** [February 1, 2022, 4:04am UTC](https://sel4.discourse.group/t/call-for-bids-to-host-the-sel4-summit-2022/469/1 "2022-02-01T04:04:29Z")

</div>

The seL4 Foundation will be organising the fourth edition of the seL4 Summit, in October 2022.

A Program Committee will be in charge of the technical side (more on that soon) and an Hosting Team will be in charge of organising the event.

**We are now calling for bids to be the Host team for the seL4 Summit 2022!**

Bids should be sent to [summit@sel4.systems](mailto:summit@sel4.systems) before 22 February 2022.

More information on [Summit | seL4](https://sel4.systems/Foundation/Summit/)