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.
Please note that this talk will be held over Zoom - Join the talk here: https://aarhusuniversity.zoom.us/j/63761669660
Title: Efficient MPC via…
This activity is meant as an informal gathering to raise awareness of ALICE and provide an environment to exchange ideas, spread news and maybe…
Wednesday May 6. 2020 Jens Emil Grønbæk will defend his PhD project: From shape-changing tables to smartphones sensing each other - developing the…
Page 69 of 192
