Second day: Mini-symposium honoring Leslie Lamport

Willem-Paul is delivering the laudatio (+ anecdotes)