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:
Beyond popular practices of sharing digital content online, networked technologies are lauded increasingly as tools for coordinating the…
AbstractData completeness is an issue in many applications where data is integrated from multiple sources, or created via human-intensive workflows.…
Finding large near-cliques in massive networks is a notoriously hard problem of great importance to many applications, including anomaly detection in…
This 2-day symposium will be covering all aspects of modern cryptography to celebrate the work of Ivan Damgård on account of his 60th birthday.
On March 30-31, 2016 we celebrate our annual PhD/PostDoc retreat at Sandbjerg Gods near Sønderborg.
Page 133 of 192