Aarhus University logo
Dansk
Department of Computer Science
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.
The sixth decennial Aarhus conference aims to continue to set new agendas for critical action, theory, and practice in computing. With the title,…
In this seminar Julia Cramer will talk on "How to talk about quantum; about framing, metaphors and engagement on quantum science and technologies."
Pioneer Centre for Artificial Intelligence (P1), Danish e-Infrastructure Consortium (DeiC), and Danish Data Science Academy (DDSA) invite all…
Join a free webinar hosted and designed to inspire and support the next generation of women in fintech. Attendees will hear from women across…
In this talk, Kasper Green Larsen presents the first provable exponential separation between quantum and quantum-inspired classical algorithms. The…
Page 19 of 192
