Events

Future Events

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…

April 20. 2021 Mirzel Avdic will defend his PhD thesis: Physical Actuation as an Alternative Approach to the Intelligibility of Smart Speakers.

Title:
Formal reasoning about programs and programming languages

Abstract:
It is well known that it is important to ensure that programs, especially…

Page 63 of 191

Revised 23.09.2025