[LIRa] LIRa session: Peter van Emde Boas and Ghica van Emde Boas–Lubsen (tomorrow, Thursday, 1 December 16:30)