# Meet the Program Committee of the seL4 summit 2024

**URL:** <https://sel4.discourse.group/t/meet-the-program-committee-of-the-sel4-summit-2024/817>\
**Category:** Uncategorized\
**Created:** [February 14, 2024, 4:27am UTC](https://sel4.discourse.group/t/meet-the-program-committee-of-the-sel4-summit-2024/817 "2024-02-14T04:27:23Z")\
**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 14, 2024, 4:27am UTC](https://sel4.discourse.group/t/meet-the-program-committee-of-the-sel4-summit-2024/817/1 "2024-02-14T04:27:23Z")

</div>

We are thrilled to announce our program committee for the [seL4 Summit 2024](https://sel4.systems/Foundation/Summit/2024). Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.

 ![sumit-pc-2024](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/887cda81c58dd48d4eb5d7c16be6f9fb66820aca.png)

 ![sel4_summit_2024](https://global.discourse-cdn.com/free1/uploads/sel4/original/1X/97fe451a9a79aea2ef246b1ed0a1bfb90c1254ec.png)