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.
Experience Mixed Reality Demo Day from the 2026 edition of our courses “Mixed Reality User Experiences” (MRUX) and “Visual Computing for Immersive and…
Speaker: Hannah Keller
Personal data is increasingly used in algorithms and decision-making across many aspects of our lives. Differential privacy…
Registration through Tech Hub Aarhus' website
A design-and-code challenge where the goal is simple: make it worse.Teams compete to design the most…
On Wednesday, April 29th 2026, Pernille Matthews will defend her PhD thesis Structure-Guided Explainability: From Regional to Counterfactual…
Kapsejladsen - Kampen om Det Gyldne Bækken 2026.Friday April 24th we launch this year’s edition of the biggest student event in Northern Europe.The…
Page 4 of 192