All Upcoming Events

March
14
Date
Thursday, March 14, 2024. 4:30pm - 5:30pm
Location
380Y
Speaker:
Vincent Pilloni (University of Paris-Saclay)
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. First, one decides what the program should do and how it should do it. The best way to work through subsequent steps is with mathematics.