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.
In January 2025, the Innovation Fund Denmark opened the next calls for the Grand Solutions Program 2025.
The AU Research Support Office and the AU…
In collaboration with DIREC, DFIR hosts a debate on the potentials, risks, and barriers of generative AI in Danish research and innovation. The debate…
Center for Computational Thinking and Design (CCTD) at Aarhus University invites participants, colleagues, and collaborators to a celebratory lecture…
On Monday January 20 2025, Simon Holmgaard Kamp will defend the PhD thesis: Towards Scalable and Robust Distributed Computing
Formal and Foundational Study of Programs and Programming Languages
In this talk, I will introduce the formal and foundational…
Page 25 of 192
