seL4 Summit 2020 - Call for Presentations *extended* to Sep 15.
by Kuz, Ihor (Data61, Kensington NSW)
For people not on the seL4 announce list: the 3rd annual seL4 Summit will be held online on November 15-18, 2020.
A call for presentations is out, and the deadline for submissions has been extended to September 15, 2020.
Please consider submitting something about seL4-based work that you are doing or other seL4/microkernel/trustworthy systems topics. Submission only requires a title and abstract, so it’s pretty low overhead.
Submit by email to Summit2020(a)sel4-us.org.
See more detail on the announce list.