Aarhus University logo
Dansk
Abstract:
Probabilistic programs, that is, programs that use randomness in their execution, appear everywhere in modern computing. For example, in…
Cryptographic implementations have historically remained vulnerable long after their theoretical foundations were well understood. NIST's…
Professor Sarang Dalal (Center of Functionally Integrative Neuroscience, Aarhus University) will discuss how room-temperature quantum sensors are…
Katrinebjerg Career Day (Kdag) is arranged by Aarhus University at IT-City Katrinebjerg, where more than 3.000 students study their IT-education. At…
Kapsejladsen - Kampen om Det Gyldne Bækken 2026.Friday April 24th we launch this year’s edition of the biggest student event in Northern Europe.The…
Registration through Tech Hub Aarhus' website
A design-and-code challenge where the goal is simple: make it worse.Teams compete to design the most…
Title
tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
"Abstract:
The design of Mezzo
Mezzo is a typed programming language in the ML family whose static discipline controls aliasing and ownership. This…
Speaker: Matthew Hartfield, MIVEGEC-Centre IRD de Montpellier, France
Page 167 of 189
