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.
On Wednesday, March 18th 2026, Sebastian Homrighausen will defend is PhD thesis "A Tale of Social Choice Mechanisms".
On Monday, March16th 2026, Sudarshan Shyam will defend is PhD thesis Algorithms and Complexity for Constrained Fair Division, Discrepancy, and…
AUHack is one of Denmark’s largest hackathons for students. Over a 36-hour period from March 13th to 15th, students interested in IT will meet, form…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
Abstract: This talk discusses the rapid progress of AI coding tools and their implications for software development and computer science education.…
Page 6 of 192