We are happy to share that the dates for the seL4 summit 2024 are 15-16-17 October 2024.
Don’t forget to submit a talk proposal before 22 April on: submit | seL4
Looking forward to receiving your proposals.
June
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
seL4 summit: deadline extension to 24th of April
|
0 | 108 | March 31, 2023 | |
|
seL4 summit: deadline extension to 29 April 2024
|
0 | 42 | April 22, 2024 | |
|
Call for bids to host the seL4 Summit 2022!
|
0 | 220 | February 1, 2022 | |
|
Call For Presentations for the seL4 Summit 2023
|
0 | 138 | February 20, 2023 | |
|
Two weeks to go to submit a talk for seL4 summit 2024
|
0 | 45 | April 8, 2024 |