seL4 Summit

An open call for presentation invites submissions of short abstracts about cool work on seL4.

The Program Committee is in charge of the technical content (reviewing submission, selecting invited speakers, defining the program).

The Hosting Team is in charge of organising the event (venue, finances, catering, local arrangements).

The location is aimed to be on a different continent each year, as far as possible, with a hybrid in-person/online event.