# seL4 summit 2025 early-bird registration ends in 1 week

**URL:** <https://sel4.discourse.group/t/sel4-summit-2025-early-bird-registration-ends-in-1-week/997>\
**Category:** Uncategorized\
**Created:** [July 25, 2025, 12:02am UTC](https://sel4.discourse.group/t/sel4-summit-2025-early-bird-registration-ends-in-1-week/997 "2025-07-25T00:02:36Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\
**Post date:** [July 25, 2025, 12:02am UTC](https://sel4.discourse.group/t/sel4-summit-2025-early-bird-registration-ends-in-1-week/997/1 "2025-07-25T00:02:36Z")

</div>

The early bird cut-off date for the [seL4 summit 2025](https://sel4.systems/Summit/2025/) is 3 August 2025.

The summit will be held in Prague, Czech Republic, 3 - 5 September 2025.

The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.

Tickets include:

- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception

Register [here](https://events.linuxfoundation.org/sel4-summit/register/)

A number of [informal social activities](https://sel4.systems/Summit/2025/program.html#social) are also being organised. Check out the list and contact the organiser to register your interest.

 ![sel4_summit_2025](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/6d81388da7f33b21144410db0a5d8da71750f2bf.png)