Invitation: Systems Software Innovations Summit 2021

[Martin Decky]

Dear colleagues,

I would like to cordially invite you to participate in Huawei Systems
Software Innovations Summit 2021 on March 30th and 31st 2021. This is an
on-line conference focused on research and practical aspects of
operating systems, microkernel-based systems, formal verification and
related topics.

Notable speakers are Greg Kroah-Hartman (Linux Foundation), Timothy
Roscoe (ETH Zurich), Hermann Härtig (TU Dresden), June Andronick (seL4
Foundation & UNSW), Mark Silberstein (Technion) and others.

There is no fee for participation. Accessing the live on-line stream
requires just a simple registration. The talks will be recorded for
later access. More information at

https://huawei-events.de/

We are looking forward to your participation!


Best regards

Martin Decky
Principal Research Engineer
Dresden Research Center
Huawei Technologies