Aarhus University logo
Dansk
Department of Computer Science
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.
Greetings Women of Aarhus University,
Uber is excited to meet you! We hope your semester is starting well and we are excited to share an opportunity…
Meet the IT department in Region Midtjylland for an informal lunch meeting and gain insight into what it’s like to work in one of Denmark’s largest IT…
Welcome to Cyber Demon, hacker. Now kill PulseAudio and start pwning, there’s no time to waste! We’re talking total undefined behavior against the…
Destination AARhus invites you to a Speed Networking Event in collaboration with Aarhus University 27th of October.
Digital Tech Summit is part conference, part exhibition and part networking event with a broad range of keynote-speakers, sessions, debates and…
Page 45 of 192
