Aarhus University logo
Department of Computer Science
Title
Tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
In this talk, I’ll share my story of how I went from being Lars’ PhD student, doing theoretical computer science, to working as a software engineer in…
Abstract:Secure multi-party computation (MPC) enables parties to compute a function over private inputs while maintaining confidentiality. Although…
The last few years have seen several breakthroughs in the semantic foundations of probabilistic and statistical modelling. In this tutorial, we will…
Abstract: We study the consistency checking problem which consists in determining whether for a given program and a trace (e.g., an execution graph)…
The Aarhus Math&AI Workshop continues the recent sequence of Math&AI meetings and aims to sustain and strengthen the growing momentum in this area.…
Page 3 of 5
