We are thrilled to announce our program committee for the seL4 Summit 2024. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Meet the Program Committee of the seL4 summit 2023
|
0 | 147 | February 13, 2023 | |
|
Meet the Program Committee of the seL4 summit 2022
|
0 | 215 | March 18, 2022 | |
|
The seL4 summit 2024 Program is available
|
0 | 39 | June 14, 2024 | |
|
The seL4 summit Program is available
|
0 | 183 | June 29, 2022 | |
|
Check out the seL4 summit 2024 program and abstracts
|
0 | 22 | August 18, 2024 |