Aarhus Universitets logo
English
Institut for Datalogi
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
Two User Experience Consultants from LEGO invite you to an interactive session to discuss:
- What is User Experience?
- Why Is it important for…
Abstract:
We are in the midst of a data revolution where large amounts of data are being collected about our behavior, bodies, social relations with…
Elsker du matematik, algoritmer og programmering, og har du lyst til at prøve kræfter med dine kode-evner? Så saml dit vinderhold og kom med til DM i…
Side 107 af 108
