- Summit-pc - lists.sel4.systems

Meet your fellow seL4 summit 2026 PC members + 1 task
by Birgit Brecknell 08 Dec '25

08 Dec '25

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_c… 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-… Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 1

Get Drivers License Now
by agentradish32＠gmail.com 06 Dec '25

06 Dec '25

First, purchase your EU driving licence (https://fuhrerscheinonline.com/de/) If you plan to drive in Europe, you'll need a valid EU driving licence. But what exactly is an EU driving licence and how do you get one? An EU driving licence is a document that qualifies you to drive a vehicle in any country in the European Union. It's valid in all EU countries. It's also a full driving licence, allowing you to drive any type of vehicle, including cars, vans, and motorcycles. Provisional driving licence: This allows you to drive a car or van, but you must always be accompanied by a driver with a valid EU driving licence. Learner's licence: This allows you to drive a car or van, but you must always be accompanied by a driver with a valid EU driving licence. Furthermore, FÜHRERSCHEINONLINE also offers all types of EU driving licences. We recommend that you purchase your full licence from us. Contact Us https://fuhrerscheinonline.com/de/EU-Lizenzen/ Buy a German driver's license https://fuhrerscheinonline.com/de/ Buy a Croatian driver's license https://fuhrerscheinonline.com/hr/ Get a Czech driver's license online https://fuhrerscheinonline.com/cs/ Get a Danish driver's license online https://fuhrerscheinonline.com/da/ Buy a Dutch driver's license online https://fuhrerscheinonline.com/nl/ Original Estonian driver's license online https://fuhrerscheinonline.com/et/ Buy a registered French driver's license https://fuhrerscheinonline.com/fr/ Buy a Bulgarian driver's license https://fuhrerscheinonline.com/bg/ Buy an Armenian driver's license https://fuhrerscheinonline.com/hy/ Buy a Belarusian driver's license online https://fuhrerscheinonline.com/be/ Apply for a Chinese driver's license online https://fuhrerscheinonline.com/zh-TW/ Apply for an Esperanto driver's license online https://fuhrerscheinonline.com/eo/ Apply for a Finnish driver's license online https://fuhrerscheinonline.com/fi/ Purchase a Finnish-Western Frisian driver's license online https://fuhrerscheinonline.com/fy/ Purchase a Galician driver's license online https://fuhrerscheinonline.com/gl/ Apply for a Georgian driver's license online https://fuhrerscheinonline.com/ka/ Apply for a Greek driver's license online https://fuhrerscheinonline.com/el/ Purchase a Hawaiian driver's license online https://fuhrerscheinonline.com/haw/ Purchase/apply for a Hungarian driver's license online https://fuhrerscheinonline.com/hu/ Renew your Icelandic driver's license online https://fuhrerscheinonline.com/is/ Buy an Indonesian driver's license online https://fuhrerscheinonline.com/id/ Buy an Irish driver's license online https://fuhrerscheinonline.com/ga/ Buy a genuine Italian driver's license https://fuhrerscheinonline.com/it/ Buy a Japanese driver's license https://fuhrerscheinonline.com/ja/ Get a genuine Korean driver's license online https://fuhrerscheinonline.com/ko/ Buy a Latvian driver's license online https://fuhrerscheinonline.com/lv/ Buy a Lithuanian driver's license online https://fuhrerscheinonline.com/lt/ Buy a Luxembourg driver's license online https://fuhrerscheinonline.com/lb/ Buy a Macedonian driver's license online https://fuhrerscheinonline.com/mk/ Buy a Mongolian driver's license online https://fuhrerscheinonline.com/mn/ Apply for a Norwegian driver's license online https://fuhrerscheinonline.com/no/ Apply for a Persian driver's license online https://fuhrerscheinonline.com/fa/ Get a Polish driver's license online https://fuhrerscheinonline.com/pl/ Get a Portuguese driver's license online https://fuhrerscheinonline.com/pt/ Buy or apply for a driver's license, online driver's license, buy or apply for a real or fake driver's license, pilot, boat, marine, gambling or gaming license, full registration license, get a driver's license, buy or apply for a real or fake driver's license, buy an EU driver's license, valid EU driver's license, full driver's license, valid passport. We guarantee free, fast, and reliable delivery of your license. Your satisfaction is our top priority. (https://fuhrerscheinonline.com/de/EU-Lizenzen/

1 0

seL4 summit PC for 2026
by Birgit Brecknell 03 Dec '25

03 Dec '25

Hi all We have now finalised a PC for the seL4 Summit 2026! Thanks again for all your suggestions. In coordination with the summit co-chairs, we have selected the following PC, aiming for a good balance in expertise and experience across the whole PC: Robbie Vanvossen (co-chair) https://www.linkedin.com/in/robbie-vanvossen-gr/ Lucy Fletcher (co-chair) https://www.linkedin.com/in/lucy-fletcher-13a484253/?utm_source=share&utm_c… 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/ We would like to thank Courtney, Everton, Matthew and Yanyan for their contributions to last year's summit, and look forward to having you on board again in the future. An email to the new PC will come out soon, after we update the summit-pc(a)sel4.systems mailing list to the new PC. Thank you all! Birg, on behalf of co-chairs Robbie and Lucy Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Assembling PC for seL4 summit 2026
by Birgit Brecknell 17 Oct '25

17 Oct '25

Dear PC members of the seL4 summit 2025, Thanks again for serving on last summit’s PC. So now is time to work on the summit 2026. :-) Firstly, we’d like to thank Nick and Robbie for their excellent work as co-chairs in 2025. And, please welcome the co-chairs for 2026, Robbie and Lucy! As you might have heard, the location will be in either Vancouver or Montreal. We will have more information on this, and likely dates, soon. We are now looking to form a new PC. As in previous years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please reply to me (cc'ing June) by 17 Oct telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, if feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) whether you would be happy to be considered again for the 2026 PC, or would prefer to step aside for this time. From there we will aim for a good balance. See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as in the previous years. :-) Please let me know if you have any questions. Many thanks! Birg & June on behalf of co-chairs, Robbie and Lucy [0] Timeline: https://docs.google.com/spreadsheets/d/1ga5KARcQMe1aerUbhGbO4SIXCHskjcyMsm-… [1] The Program Committee is in charge of the technical side of the event (content, invited speakers, program...). The PC process aspires to be informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from me and June (cc’ed). There is also an informal Steering Committee made of Gernot, Gerwin and June for any oversight. Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 3

(seL4 summit): 2024 PC
by June Andronick (seL4 Foundation) 01 Feb '24

01 Feb '24

Dear PC members of the seL4 summit 2023, Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :) As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please all reply to me (CCing Birg) by Dec 11th telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time. From there we will aim for a good balance :) See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as last years :) Any questions let me know. Many thanks! June [0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBU… [1] The Program Committee is in charge of the technical side of the event (content, invited speakers, program...). The PC process aspires to be quite informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from Birgit (CC-ed) and myself. There is also an informal Steering Committee made of Gernot, Gerwin and myself for any oversight. Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event

3 5

seL4 summit: your allocation as session chair (PLEASE CHECK)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC, Please find attached an allocation of session chairs for the summit. Please let us know asap if you have any issues with your allocated slot. If we don’t hear from you by Monday 11th, we’ll assume it’s all good :) Thanks and see you all in Minneapolis very soon! June, on behalf of Ihor and Darren

1 0

seL4 summit in 2 weeks: please post about it! :)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC of the upcoming seL4 summit, The summit is in 2 weeks! We’ll contact you very soon about chairing some sessions. For now, can you please encourage any last minute registrations through your networks? I’ve just posted on linkedin: https://www.linkedin.com/posts/sel4_sel4-activity-7104829051214671872-lqzj?… From the last report I got, we have 55 registrants. We had a number of last minute ones last year, it would be good to do the same this year to increase attendance and create a buzz again :) I’m counting on you! Thanks, June

1 0

(seL4 summit) program is out, please share it! :)
by June Andronick (seL4 Foundation) 27 Jun '23

27 Jun '23

Dear seL4 summit PC, As you may have seen, we have announced the program for the seL4 summit 2023. Please share it in your circles! https://sel4.systems/news/2023#summit-program-2023 https://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activit… Thanks! June

1 0

Fw: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4
by Birgit Brecknell 23 Jun '23

23 Jun '23

Dear PC Richard Skowyra supplied further info on their submission, as requested. Please see below. cheers Birg --- 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 2pm-5pm Fri 9am-5pm ________________________________ From: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Sent: Thursday, 22 June 2023 11:03 PM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Cc: summit(a)sel4.systems <summit(a)sel4.systems> Subject: RE: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Hi Birgit, Sorry for the delayed response. Here’s the info you requested: Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. * The work we’re reporting on is completed, but it is a part of a larger in-progress effort to build a secure software stack for high-assurance applications. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. * Title: Magnetite: Rust-Based OS Services for seL4 * Presenters: Richard Skowyra, Juliana Furgala, or Samuel Jero. We’ll let you know who is presenting by mid-July. Best, Rick Skowyra From: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Sent: Thursday, June 8, 2023 6:33 PM To: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Cc: summit(a)sel4.systems Subject: [EXT] seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question ZjQcmQRYFpfptBannerStart This Message Is From an External Sender This message came from outside the Laboratory. ZjQcmQRYFpfptBannerEnd Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- 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

1 0

Fw: seL4 summit 2023: Incremental assurance for a network stack
by Birgit Brecknell 21 Jun '23

21 Jun '23

Dear PC Michal Podhradsky supplied further info on their submission, as requested. Please see below. cheers Birg --- 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 2pm-5pm Fri 9am-5pm ________________________________ From: Michal Podhradsky <mpodhradsky(a)galois.com> Sent: Wednesday, 21 June 2023 2:02 AM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Subject: Re: seL4 summit 2023: Incremental assurance for a network stack Hello Birgit, sorry about the delay. To your questions: Status of the work: It is work-in-progress. Because of the project funding and schedule, the verification work starts in the beginning of July and goes until September. I understand that makes presenting more complicated, but I believe it is better to announce our results as early as we have them, rather than waiting for the 2024 summit. Happy to chat more if you prefer? Title: Incremental assurance for a Rust network stack Presenter: [Michal Podhradsky, Tiago Ferreira, Ben Hamlin, Ed Sandberg, Mike Dodds] I haven't received any follow up instructions from the Linux Foundation - how would you like me to update the abstract? Regards Michal On Thu, Jun 8, 2023 at 3:37 PM Birgit Brecknell <birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>> wrote: Dear Michal We are pleased to notify you that your submission Incremental assurance for a network stack has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC requests more insight on the status of the work. Please provide more details in the abstract. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- 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

1 0