Du är här

Science! by Infotiv – Blockchains

Torsdagen den 14 maj kl 08:00-09:30 är det äntligen dags för Science! By Infotiv. Den här gången kör vi ett onlineevent, så ni åhörare får bjuda er själva frukost.

Det är dags att återigen gräva i ämnet Blockchains.

Patrik Andersson (M.Sc.) kommer prata om projektet "European Blockchain Services Infrastructure (EBSI)"

Rikard Hjort kommer att presentera sitt examensarbete och prata om bl a formell verifiering av Blockchain funktionalitet under titeln "KWasm: Formal Verification for fun and profit"

Eftersom Rikard, vår andre talare, kommer att medverka från Berlin så kändes det helt naturligt att denna gång anordna ett event online. Välkomna att delta!

Länk för anmälan: https://www.meetup.com/Science-by-Infotiv/events/270356307/

Share this page