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 (UNSW) and others.
There is no fee for participation. Accessing the live on-line stream requires just a simple registration. More information at
We are looking forward to your participation!
Best regards
Martin Decky Principal Research Engineer Dresden Research Center Huawei Technologies
l4-hackers@os.inf.tu-dresden.de