The seL4 summit 2024 [0] will be held in Sydney, Australia, 15-17 October 2024.
The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
Tickets include:
* Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
* Networking with other seL4 experts and enthusiasts
* Reception and dinner
Register here [1]
The early bird cut-off date is 15 September 2024.
Local seL4 Sydney-siders will look into organising some informal activities for Monday 14 October 2024, before the summit kicks off, for anyone who wants to join. Gernot may also organise a bush walk for the weekend before the summit. Stayed tuned for more info!
[0] https://sel4.systems/Foundation/Summit/2024
[1] https://events.linuxfoundation.org/sel4-summit/
Birgit Brecknell
seL4 Foundation Project Coordinator
birgit(a)sel4.systems <mailto:birgit@sel4.systems>
bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>