Second day: Mini-symposium honoring Leslie Lamport

thumbs up for the speaker