25.9.2018 12:10 - 13:00 On runtime enforcement via suppressions

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an executing system. The enforceability of a logic captures the extent to which the properties expressible via the logic can be enforced at runtime.

 

26.9.2018 Zotero námskeið

Ókeypis heimildaskráningarforrit sem auðveldar ritgerðarvinnuna

 

26.9.2018 12:20 - 13:05 Kanntu að taka próf?

Náms- og starfsráðgjafar gefa góð ráð um próftækni og prófkvíða 

 

28.9.2018 9:00 - 10:15 Háskólinn í Reykjavík Lífshættuleg stjórnun

Er nútímastjórnun aðalástæða kulnunar í starfi? 

 

28.9.2018 17:00 - 22:00 Vísindavaka Rannís

Á Vísindavöku gefst almenningi tækifæri til að kynna sér það fjölbreytta vísindastarf sem unnið er hér á landi.

 

2.10.2018 12:10 - 13:00 Exploiting Dynamic Electricity Prices with an Energy-Aware Runtime System for Heterogeneous HPC Clusters

Speaker: Timo Hönig (Friedrich-Alexander University Erlangen-Nürnberg, Germany) 

 

10.10.2018 12:10 - 13:00 Hverjir verða framúrskarandi?

Hvað eiga Darwin, H.C. Andersen og Zlatan sameiginlegt