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…

Past Events

11 Aug

4 days, Monday 11 August 2014, at 09:00 - 14 August TBA

5 Aug

Tuesday 5 August 2014, at 10:40 Nygaard 295

2 Jul

Wednesday 2 July 2014, at 13:00

2 Jul

Wednesday 2 July 2014, at 13:00 Turing-230

Title:
A Formal Study of Moessner's Sieve

Abstract:

In this dissertation, we present a new characterization of Moessner’s sieve
that brings a range of…

25 Jun

Wednesday 25 June 2014, at 10:15 Nygaard 395, Aabogade 34, 8200 Aarhus N

Speaker: Andrea Cerone, postdoc, IMDEA, Madrid, Spain

Title: Parameterised Linearisability.

Abstract: Many concurrent libraries are parameterised,…

Page 157 of 191

Revised 23.09.2025

Future Events

Summer HCI 2026

Celebrating Kristen Nygaard's 100th birthday

Past Events

MADALGO Summer School 2014 on Learning at Scale

QUALIFYING EXAM: PhD student Fabio Strocco, Department of Computer Science

Qualifying Exam: Mads Møller Jensen

Master Thesis Defense: Peter Urbak - A Formal Study of Moessner's Sieve

Logic and Semantics Talk: Parameterised Linearisability by Andrea Cerone, postdoc, IMDEA, Madrid, Spain