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.
Welcome to online sessions, where you can learn about the Bachelor's Programmes at Computer Science. See the event site for more information and…
The Department of Mathematics invites to colloquium and reception with professor Ivan Nourdin from University of Luxembourg.
In this talk, we will…
On Friday January 30, 2026, Qianqian Mu will defend the PhD thesis Exploring Backchannel Communication in Hybrid Meetings
The Aarhus Math&AI Workshop continues the recent sequence of Math&AI meetings and aims to sustain and strengthen the growing momentum in this area.…
On Friday January 23, 2026, Matthew Lutze will defend the PhD thesis On Effects, Inference, and Type Flow
Page 9 of 192
