Announce

Thread Start a new thread

Download

announce@sel4.systems

December 2025

1 participants
1 discussions

Location, Dates and Program Committee of the seL4 Summit 2026
by Announcements about seL4 -- low volume list 14 Dec '25

14 Dec '25

We are pleased to announce that the seL4 Summit 2026 [0] will be held in Vancouver, Canada, 1 - 3 September (informal social activities on 31 August). Meet the Program Committee Our team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. - 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/ [0] https://sel4.systems/Summit/2026/ 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