Huawei Systems Software Innovations Summit 2021
30. und 31, März 2021
Die Konferenz widmen sich aktuellen Themen der Systemsoftware aus Forschung und Praxis, mit einem besonderen Fokus auf Betriebssystemtechnik und formaler Verifikation.
Namhafte Referenten sind unter anderem:
Greg Kroah-Hartman (Linux Foundation), Timothy Roscoe (ETH Zürich), Hermann Härtig (TU Dresden), June Andronick (UNSW), Olaf Spinczyk (Universität Osnabrück)