# Register for the seL4 summit 2025

**URL:** <https://sel4.discourse.group/t/register-for-the-sel4-summit-2025/965>\
**Category:** Uncategorized\
**Created:** [April 14, 2025, 7:17am UTC](https://sel4.discourse.group/t/register-for-the-sel4-summit-2025/965 "2025-04-14T07:17:52Z")\
**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:** [April 14, 2025, 7:17am UTC](https://sel4.discourse.group/t/register-for-the-sel4-summit-2025/965/1 "2025-04-14T07:17:52Z")

</div>

The [seL4 summit 2025](https://sel4.systems/Foundation/Summit/2025/) 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 and dinner

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

The early bird cut-off date is 3 August 2025.

A number of informal social activities will be organised by the seL4 community for Tuesday 2 Sep 2025. Stay tuned for more info!

 ![sel4_summit](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/8286968e16920ccc7987b6d89f4c609e32ea2d29.png)