Aarhus University logo
Dansk
Department of Computer Science
On August 27, 2026, Kristen Nygaard would have turned 100 years.
On this occasion, Aarhus University will mark the day and pay tribute to Kristen…
Thursday, August 27, Jakob Burkhardt will defend his PhD thesis: Efficient, Secure, Private: Protocols for a Distributed World
Title
Tba
Abstract
----------------
Everyone is welcome!
There will be refreshments after the lecture.
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
MADALGO Theory Seminar: Kasper Green Larsen, MADALGO
We have been formalizing mathematics in type theory for many years. Although great progress has been made, there were still a number of issues that…
Abstract:
In my PhD project I am developing a formal semantics of a significant fragment of the C programming language as described by the C11…
Page 152 of 192
