All Upcoming Events

April
11
  • Lectures
Date
Thursday, April 11, 2024. 7:30pm - 9:00pm
Location
Everett and Jane Hauck Auditorium, David and Joan Traitel Building of Hoover Institution, Stanford University
Speaker:
Leslie Lamport (Microsoft)

Coding is the last step in writing a program. The first step is deciding what we want to achieve and how. The best methods for working through subsequent steps consist in using simple mathematics…