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.
Meet the IT department in Danske Commodities for an informal lunch meeting and gain insight into what it’s like to work there. You get to see the…
Den 15.-16. november 2022 inviterer IT-Lærerforeningen, IT-vest, Aarhus Universitet og Københavns Universitet til stor konference om informatikfaget…
Welcome to the first Danish Data Science annual conference! Danish Data Science 2022 is a two-day conference with technical talks in the fields of…
Den 4. til 6. november afholder vi et Game Jam i IT-Byen Katrinebjerg på Aarhus Universitet kaldet "K-Jam".
Eventet vil foregå fra kl. 16 fredag den…
Title: Softer Software Abstract: Modern software is not soft at all, and it is very difficult for even the competent user to shape it to their…
Page 44 of 192
