From martin at decky.cz  Wed Mar 17 11:24:45 2021
From: martin at decky.cz (Martin Decky)
Date: Wed, 17 Mar 2021 12:24:45 +0100
Subject: Invitation: Systems Software Innovations Summit 2021
Message-ID: <4afb1c4b-022c-c5c4-a0b0-4de6c84716ba@decky.cz>

Dear all,

[I sincerely hope it is OK to post the following invitation to this 
mailing list, as it is very much related to microkernel-based OSes.]

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, formal verification and related topics.

Notable speakers are Greg Kroah-Hartman (Linux Foundation), Timothy 
Roscoe (ETH Zurich), Hermann Härtig (TU Dresden) and others.

There is no fee for participation. Accessing the live on-line stream 
requires just a simple registration. 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