# Meet the Program Committee of the seL4 summit 2023

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

</div>

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