[NSWI161] Zahajeni predmetu Pokrocile operacni systemy

[Petr Tuma]

Vazeni studenti a kolegove,

po trech tydnech napjateho cekani :-) se blizi prvni prednaska predmetu Pokrocile operacni systemy. Pristi ctvrtek, tedy 25. brezna, od 15:40, bude prednaset dr. Martin Decky o modernich architekturach operacnich systemu a konceptech jako jsou mikrojadra a capabilities. Dr. Decky je spoluautor operacniho systemu HelenOS (https://helenos.org), casty host a letos organizator microkernel devroom na konferenci FOSDEM, historicky absolvent nasi univerzity, v soucasnosti pracuje na pozici Principal Research Engineer ve vyzkumnem stredisku pro operacni systemy firmy Huawei v Drazdanech. Prednaska bude online, link je https://cesnet.zoom.us/j/98041712362.

Pro ty z vas, kteri zvladnou vice nez jednu zajimavou prednasku na tema operacnich systemu tydne, bych pak chtel od dr. Deckeho zprostredkovat pozvani na dalsi prezentace v ramci Huawei Systems Software Innovations Summit, viz pripojeny mail a stranky https://huawei-events.de. Myslim, ze seznam temat je vice nez presvedcivy :-)

Na shledanou za tyden, Petr Tuma


-------- Forwarded Message --------
Subject: Pozvanka / Invitation: Systems Software Innovations Summit 2021
Date: Wed, 17 Mar 2021 12:16:40 +0100
From: Martin Decky <decky at d3s.mff.cuni.cz>

Vazeni kolegove,

rad bych Vas timto srdecne pozval k ucasti na Huawei Systems Software
Innovations Summit 2021 ve dnech 30. a 31. brezna 2021, coz je on-line
konference zamerena na vyzkumne i prakticke aspekty operacnich systemu,
formalni verifikace a souvisejicich temat.

Mezi recniky jsou napriklad Greg Kroah-Hartman (Linux Foundation),
Timothy Roscoe (ETH Zurich), Hermann Härtig (TU Dresden) a dalsi.

Ucast na konferenci je zdarma, pro pristup k zivemu on-line streamu
staci jednoducha registrace. Blizsi informace naleznete na
https://huawei-events.de/

Tesime se na Vasi ucast!


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, 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!


S pozdravem / Best regards

Martin Decky
Principal Research Engineer
Dresden Research Center
Huawei Technologies