Call For Presentations [0] for the seL4 Summit 2023 [1]
- Share your seL4 work
- Share your seL4 experience
- Share your seL4 thoughts
Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 10 April 2023 to the submission portal [2].
[0] https://sel4.systems/Foundation/Summit/2023/cfp
[1] https://sel4.systems/Foundation/Summit/
[2] https://sel4.systems/Foundation/Summit/2023/submit
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
Meet the Program Committee of the seL4 summit 2023
We are thrilled to announce our program committee for the seL4 Summit 2023 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers [1].
[0] https://sel4.systems/Foundation/Summit/2023/
[1] https://sel4.systems/news/2023
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm
It is our pleasure to confirm that the seL4 Summit 2023 [0] will be in:
Minneapolis, USA, Sept/Oct 2023 (dates TBC).
The summit will be hosted by the Linux Foundation [1], and will be an in-person event.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
[0] https://sel4.systems/Foundation/Summit/2023/
[1] https://www.linuxfoundation.org/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems>
0433 880 571
Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm