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.
Description: This talk presents research investigating whether interactive visualizations of the data generated during everyday activities, for…
After the presentation of the annual report, CS invites everybody to gløgg, æbleskiver and julehygge in Nygaard -1. You are welcome to bring your…
Lars Birkedal will present CS’ annual report followed by guest speaker Rene Schmidt from Uber.
ABSTRACT
Although it has influenced the field of Human-Computer Interaction (HCI) since its origins, humanistic HCI has come into its own since the…
This event investigates the cultural, material and political implications of execution. Software permeates our environment. We co-exist in an…
Page 137 of 192
