[seL4] seL4 Summit 2020 - Call for Presentations *extended* to Sep 15.

Hi,

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@sel4-us.org.

See more detail on the announce list[1].

Ihor.

[1] https://sel4.systems/pipermail/announce/2020/000036.html