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
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.
Building Endless War, the WikiLeaks Afghanistan War Archive
Human Computer Interaction Strategies to Advance Personalized Learning, Creativity, Health and Well-Being
Networked money; circulation of economic value in code and interfaces
This summer school will provide an in-depth introduction to some of the important topics in data structures. The topics range from graph data…
Post-digital Books and Disruptive Literary Machines - E-lit experiments in post-print literary culture
Page 178 of 192