Mardi 18 mars, en allant déjeuner vers midi : le directeur du laboratoire déplore que Leslie Lamport ne soit pas reconnu autant qu'il devrait l'être et notamment qu'il n'ait pas reçu le prix Turing.

Mardi 18 mars, 15h30 : nous recevons un courrier électronique nous informant que Leslie Lamport vient de recevoir le prix Turing.