# Location, Dates and Program Committee of the seL4 Summit 2025

**URL:** <https://sel4.discourse.group/t/location-dates-and-program-committee-of-the-sel4-summit-2025/942>\
**Category:** Uncategorized\
**Created:** [February 12, 2025, 5:06am UTC](https://sel4.discourse.group/t/location-dates-and-program-committee-of-the-sel4-summit-2025/942 "2025-02-12T05:06:44Z")\
**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:** [February 12, 2025, 5:06am UTC](https://sel4.discourse.group/t/location-dates-and-program-committee-of-the-sel4-summit-2025/942/1 "2025-02-12T05:06:44Z")

</div>

We are pleased to announce that the [seL4 Summit 2025](https://sel4.systems/Foundation/Summit/2025/) will be held in

**Prague, Czech Republic, 3 - 5 September 2025.**

[Meet the Program Committee](https://sel4.systems/Foundation/Summit/2025/#summit-pc)  
Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.

We will announce a Call for Presentations in the coming weeks. Stay tuned!

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