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.
Join the talk here: https://aarhusuniversity.zoom.us/j/61235369353
Title: Hybrid Public Key Encryption: Mechanized Provable Security of a New IRTF…
Please note that this is an online talk - Join the talk here: aarhusuniversity.zoom.us/j/489411054
Title: Generalized State Channel Networks
Please note that this is an online talk - Join the talk here: aarhusuniversity.zoom.us/j/786070493
Title: Publicly Accountable Anonymity…
Monday March 30. 2020 Alvis Logins will defend PhD thesis on Resource Allocation in Networks online.
Read more here.
The ALICE steering group meets 4 times a year and the meetings are open for everyone who is interested in ALICE and what is going on in the network.
Page 70 of 192
