đź‘Ť Birgit Brecknell reacted via Gmail <https://www.google.com/gmail/about/?utm_source=gmail-in-product&utm_medium=et&utm_campaign=emojireactionemail#app> On Thu, 16 Oct 2025 at 01:38, Furgala, Juliana - 0553 - MITLL < Juliana.Furgala@ll.mit.edu> wrote:
Hi Birgit,
For a), one dimension/scale that would be nice to account for is people who work with formal methods and proving to lighter weight analysis to applied use of seL4 in systems.
I would be happy to be considered again if there is interest.
Juliana
------------------------------ *From:* Birgit Brecknell <bbrcknl@gmail.com> *Sent:* Wednesday, October 15, 2025 1:13 AM *To:* sel4 summit PC <summit-pc@sel4.systems> *Cc:* June Andronick (seL4 Foundation) <june@sel4.systems> *Subject:* [EXT] [Summit-pc] Re: Assembling PC for seL4 summit 2026
This Message Is From an External Sender This message came from outside the Laboratory.
Dear PC members
Just a friendly reminder to, if you haven't already, let me know:
(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.
Please let me know by 17 Oct.
cheers Birg
On Fri, 10 Oct 2025 at 11:51, Birgit Brecknell <bbrcknl@gmail.com> wrote:
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-U...
[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@sel4.systems bbrcknl@gmail.com