Science! By Infotiv
Details
Då var det dags igen för vårens Science! By Infotiv.
Denna gång blir det ett online event dels beroende på den rådande situationen i världen men även för att vår huvud talare kommer att koppla upp sig från Berlin.
Denna gång kommer vi göra ett återbesök i Blockchain-världen. Vi kommer börja med ett kärt återseende i form av:
Patrik Andersson
"Framtidens infrastruktur för digitala identiteter"
Patrik kommer att prata om EBSI som han är inblandad i samt prata lite om vad som händer runt Ethereum just nu.
Rikard Hjort
"KWasm: Formal Verification for fun and profit"
Rikard kommer att prata om sitt examensarbete inom smarta kontrakt och hur man kan verifiera dessa. Vill man tjuvläsa lite innan så hittar ni en länk till hans arbete nedan.
Så ta med er kaffe och ladda upp med er favvo fralla så hörs och ses vi den 14/5
Relaterade Länkar:
https://ethereum.org/se/
https://ec.europa.eu/cefdigital/wiki/display/CEFDIGITAL/EBSI
https://odr.chalmers.se/handle/20.500.12380/300761