Aarhus University logo
Department of Computer Science
Title
Tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
I will present my results towards a formally secure extraction framework for the proof-oriented language F* that protects verified F* programs against…
The talk will on one hand provide an overview of the past 15 years of research and development of theory theory and tools for Dynamic Condition…
Algorithmic Structure in Weak Memory and RDMA Verification
Weak memory models invalidate many classical assumptions underlying program verification,…
Associate Professor Robin Kaarsgaard Sales (University of Southern Denmark) presents a “free” model of quantum computing that replaces continuous…
Page 2 of 5
