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.
ABSTRACT:
There is a growing desire to address societal challenges in healthcare and sustainability through the use of information technology such as…
Description: This talk presents research investigating whether interactive visualizations of the data generated during everyday activities, for…
After the presentation of the annual report, CS invites everybody to gløgg, æbleskiver and julehygge in Nygaard -1. You are welcome to bring your…
Lars Birkedal will present CS’ annual report followed by guest speaker Rene Schmidt from Uber.
Page 137 of 192