Aarhus University logo
Dansk
Department of Computer Science
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.
On May 26, 2026, Network for use of AI in the Natural Sciences (NAIS) will host its Kickoff Event at INCUBA, and we invite everyone interested in AI…
Title:
Visual Computing for the Reality-Virtuality Continuum: From Situated Visualisation to Immersive Replay
Abstract:
Loading the game Paperboy…
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…
Page 4 of 192
