Dear PC of the seL4 Summit 2026 Thank you again for accepting to serve on this year’s PC. Please find below [0] our wonderful team, from various parts of the seL4 ecosystem. The first task is to define the themes/topics for the Call for Presentations. Below are the topics from last year [1]. This year we want to change/tweak the list to address the summit 2025 feedback, in which participants requested a dedicated time for higher-level talks, that is targeted at a broader audience, who are less familiar with seL4, includes an overview of the seL4 ecosystem to get everyone on board (before diving into more technical talks range of talks), and includes demos or non-technical talks. As this will be new to the program, we’d like your input on themes/topics, to be added to [1]. Please discuss any of this or other ideas by email by 16 Jan. Your next task, after the CFP goes out, will be to help advertise for the CFP, encourage submissions, nudge specific people you'd like to hear from. Our aim is to maximise the take away value. Please consider: how you envision an ideal seL4 summit any interesting seL4 work that you've heard about, or would like to hear more about If you have any questions, pls let us know. Thanks again, Birg, June, Robbie & Lucy [0] PC of the seL4 Summit 2026: Robbie Vanvossen https://www.linkedin.com/in/robbie-vanvossen-gr/ Lucy Fletcher https://www.linkedin.com/in/lucy-fletcher-13a484253/?utm_source=share&utm_ca... Adam https://www.ncsc.gov.uk/ Corey Lewis https://trustworthy.systems/people/?cn=Corey+Lewis David Cock https://neutrality.ch/people/ David Hardin https://loonwerks.com/people/david-hardin.html Gernot Heiser https://trustworthy.systems/people/?cn=Gernot+Heiser Juliana Furgala https://www.ll.mit.edu/biographies/juliana-furgala Leigha VanderKlok https://www.linkedin.com/in/leigha-vanderklok-b5038a166/ Lesley Rossouw https://www.linkedin.com/in/lesley-rossouw-a6ab451b6/ Martin Dehnel-Wild https://www.linkedin.com/in/mpdehnel/ Nick Spinale https://nickspinale.com/ [1] Themes for the seL4 summit 2025 CFP (https://sel4.systems/Summit/2025/cfp.html) - seL4 on-going and planned R&D, mature or early stage: - seL4 research efforts - seL4 development efforts - work-in-progress seL4 development - student work on seL4 - new/missing/next-gen kernel mechanisms - seL4-related roadmaps: what you plan to work on and when - seL4 grand challenges - OS frameworks and services - seL4 userland with programming language support beyond C - High performance systems based on seL4: pushing the boundaries - seL4 experience reports - experience with deploying seL4 in the field, in commercial/deployed products - experience with teaching seL4 - experience with seL4 in certification schemes and application of industry standards - experience with “building a business case for using a verified kernel” - experience with porting software from other OSes - seL4 and hardware - ports to new hardware platforms or architectures - multicore systems - virtualisation - new/proposed hardware features or architectures, which could also enable or broaden the scope of formal reasoning (e.g. about time protection) - seL4 in embedded processors on FPGAs, and impact of assured separation - IOMMU solutions for various hardware architectures and impact for seL4 - seL4 and assurance: - application-level verification leveraging seL4 proofs - correctness, spatial separation, temporal separation, and real-time proofs - formalised interface between or composition of kernel-level proofs and user-level proofs - verification engineering at scale, scaling verification productivity - security/safety impact/assurance/certification for an seL4-based system In 2025, we also had an open invitation for a 5-minute slot to talk about seL4 deployment, but only MEP took the opportunity, and later gave a longer presentation. [2] Timeline: https://docs.google.com/spreadsheets/d/1ga5KARcQMe1aerUbhGbO4SIXCHskjcyMsm-U... Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>
Further to our previous email, can you please do the following specific tasks by 16 Jan. Send thoughts on what to call Day 1 vs Day2+3 of the program (eg "Overview&Application day” vs "Technical updates"?) Consider specific people we could invite for Day 1 (in addition to submissions and keynotes) Discuss/suggest how to tweak the themes below to meet this new structure, and how we'd include walk-through/demos. cheers Birg
On 8 Dec 2025, at 10:06 AM, Birgit Brecknell <birgit@sel4.systems> wrote:
Dear PC of the seL4 Summit 2026
Thank you again for accepting to serve on this year’s PC. Please find below [0] our wonderful team, from various parts of the seL4 ecosystem.
The first task is to define the themes/topics for the Call for Presentations. Below are the topics from last year [1]. This year we want to change/tweak the list to address the summit 2025 feedback, in which participants requested a dedicated time for higher-level talks, that
is targeted at a broader audience, who are less familiar with seL4, includes an overview of the seL4 ecosystem to get everyone on board (before diving into more technical talks range of talks), and includes demos or non-technical talks.
As this will be new to the program, we’d like your input on themes/topics, to be added to [1].
Please discuss any of this or other ideas by email by 16 Jan.
Your next task, after the CFP goes out, will be to help advertise for the CFP, encourage submissions, nudge specific people you'd like to hear from. Our aim is to maximise the take away value. Please consider:
how you envision an ideal seL4 summit any interesting seL4 work that you've heard about, or would like to hear more about
If you have any questions, pls let us know.
Thanks again,
Birg, June, Robbie & Lucy
[0] PC of the seL4 Summit 2026:
Robbie Vanvossen https://www.linkedin.com/in/robbie-vanvossen-gr/ Lucy Fletcher https://www.linkedin.com/in/lucy-fletcher-13a484253/?utm_source=share&utm_ca... Adam https://www.ncsc.gov.uk/ Corey Lewis https://trustworthy.systems/people/?cn=Corey+Lewis David Cock https://neutrality.ch/people/ David Hardin https://loonwerks.com/people/david-hardin.html Gernot Heiser https://trustworthy.systems/people/?cn=Gernot+Heiser Juliana Furgala https://www.ll.mit.edu/biographies/juliana-furgala Leigha VanderKlok https://www.linkedin.com/in/leigha-vanderklok-b5038a166/ Lesley Rossouw https://www.linkedin.com/in/lesley-rossouw-a6ab451b6/ Martin Dehnel-Wild https://www.linkedin.com/in/mpdehnel/ Nick Spinale https://nickspinale.com/
[1] Themes for the seL4 summit 2025 CFP (https://sel4.systems/Summit/2025/cfp.html)
- seL4 on-going and planned R&D, mature or early stage: - seL4 research efforts - seL4 development efforts - work-in-progress seL4 development - student work on seL4 - new/missing/next-gen kernel mechanisms - seL4-related roadmaps: what you plan to work on and when - seL4 grand challenges - OS frameworks and services - seL4 userland with programming language support beyond C - High performance systems based on seL4: pushing the boundaries
- seL4 experience reports - experience with deploying seL4 in the field, in commercial/deployed products - experience with teaching seL4 - experience with seL4 in certification schemes and application of industry standards - experience with “building a business case for using a verified kernel” - experience with porting software from other OSes
- seL4 and hardware - ports to new hardware platforms or architectures - multicore systems - virtualisation - new/proposed hardware features or architectures, which could also enable or broaden the scope of formal reasoning (e.g. about time protection) - seL4 in embedded processors on FPGAs, and impact of assured separation - IOMMU solutions for various hardware architectures and impact for seL4
- seL4 and assurance: - application-level verification leveraging seL4 proofs - correctness, spatial separation, temporal separation, and real-time proofs - formalised interface between or composition of kernel-level proofs and user-level proofs - verification engineering at scale, scaling verification productivity - security/safety impact/assurance/certification for an seL4-based system
In 2025, we also had an open invitation for a 5-minute slot to talk about seL4 deployment, but only MEP took the opportunity, and later gave a longer presentation.
[2] Timeline: https://docs.google.com/spreadsheets/d/1ga5KARcQMe1aerUbhGbO4SIXCHskjcyMsm-U...
Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>
participants (1)
-
Birgit Brecknell