The seL4 Foundation will be organising the fourth edition of the seL4 Summit, in October 2022.

A Program Committee will be in charge of the technical side (more on that soon) and an Hosting Team will be in charge of organising the event.

We are now calling for bids to be the Host team for the seL4 Summit 2022!

Bids should be sent to summit@sel4.systems mailto:summit@sel4.systems before 22 February 2022.

More information on https://sel4.systems/Foundation/Summit/ https://sel4.systems/Foundation/Summit/