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_campaign=share_via&utm_content=profile&utm_medium=ios_app

• 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@sel4.systems mailing list to the new PC.

Thank you all!

Birg, on behalf of co-chairs Robbie and Lucy