On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
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.
How should a principal design incentives when the effort of agents is costly and unobservable? Contract theory studies this question through…
Join us in celebrating 25 years of CAVI on June 2nd 2026
On Friday, May 29th 2026, Amalie Pauli will defend her PhD thesis Persuasive Language and Style in Text: Reliability, Validity, and Efficiency
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…
Page 3 of 192