Aarhus Universitets logo
English
Institut for Datalogi
PARK forvandler Aarhus’ smukke universitetspark til en gratis, udendørs vidensfestival, der forener forskning, musik, litteratur og kunst. Under…
Ira Assent, professor i datalogi, Aarhus Universitet
Ira Assent, professor i datalogi, Aarhus Universitet og Philipp Schröder, professor i økonomi, Aarhus Universitet diskuterer AI's…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
Title
Tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Abstract:
Logic and semantics are important tools in computer science. For instance, they allow us to verify both large computer programs and large…
Computational thinking is becoming a fundamental skill for everyone, not just for computer scientists. Presently, the need for this skill…
- An Introduction to Iris
Side 95 af 107
