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.
Glæd dig til tre dage fra den 19/10 til den 21/10 på Aarhus Universitet med masser af teknologi, design og inspiration. Smag på de to uddannelser…
Spændende eksperimenter, vilde robotter og oplevelser under stjernerne. Tag på Mission X med familie og venner på Steno Museet og Aarhus Universitet i…
DM i Programmering er en konkurrence, der afholdes af Netcompany og Jobindex den 8. oktober 2022, hvor du får muligheden for at teste dine kodeevner,…
Conference on Participative computing for sustainable futures
Title: Elucidating Systems Programming Abstract: We teach things like compilers and operating systems to students. They get a high-level idea, but…
Page 46 of 192
