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.
Nu afholdes det første Cyber Community Collider i jylland og i unikke og rustikke omgivelser hos The Kitchen, Aarhus. Dette uformelle…
Abstract: Secure Multiparty Computation (MPC) is a cryptographic technique which allows mutually distrusting parties to compute joint functions of…
Dear students,
Department of Computer Science would like to take the opportunity to thank you for the past year by inviting you to a New Year's…
Ira Assent & Davide Mottin
Title: Graphs aGAIn
Abstract: One algorithm to rule them all, one IPU to find them, two graphs to bring them all and in…
Page 42 of 192
