Aarhus University logo
Dansk
Department of Computer Science
In this talk, I use programming as a lens for exploring how generative AI is reshaping competence, learning, and education more broadly. Starting from…
Do you want to join a sports club, learn Danish, become a volunteer or meet cultural organisations? Come by our International Student Organisations…
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.
Managing large scale infrastructure – protecting against large coordinated attacks
Bankdata Challenge for it-studerende
Hvad er Docker, hvorfor er Docker praktisk, og hvordan bruges det i den virkelige verden? Alt dette kan du blive klogere på, når Netcompany inviterer…
Jan Gintberg og WestWind Challenge inviterer studerende med interesse i den grønne omstilling og transport til event 11. november.
Title: Batch-OT with Optimal Rate
Abstract: We show that it is possible to perform $n$ independent copies of $1$-out-of-$2$ oblivious transfer in two…
Page 60 of 192
