We are thrilled to announce our program committee for the seL4 Summit 2023 [Summit | seL4]. Our awesome team [News about seL4 and the seL4 Foundation | seL4] 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 2024
|
0 | 62 | February 14, 2024 | |
|
Meet the Program Committee of the seL4 summit 2022
|
0 | 209 | March 18, 2022 | |
|
Location, Dates and Program Committee of the seL4 Summit 2025
|
0 | 7 | February 12, 2025 | |
|
Call for bids to host the seL4 Summit 2022!
|
0 | 220 | February 1, 2022 | |
|
The Call for Presentations for the seL4 summit 2022 is out!
|
0 | 194 | March 30, 2022 |