Guest lecture on the 12th of April

Robbert van Renesse from Cornell and IC3 will give a guest lecture
on the 12th of April between 10:00 and 12:00. The exact time and
topic of the lecture will be announced later.