Stanford University

Upcoming Events

Poincaré Lecture
Thursday, March 14, 2024
4:30 PM
|
380Y
Vincent Pilloni (University of Paris-Saclay)
Public Lecture
Thursday, April 11, 2024
7:30 PM
|
Everett and Jane Hauck Auditorium, David and Joan Traitel Building of Hoover Institution, Stanford University
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. But programmers can’t use the simple math they need and mathematicians don’t teach them.

Winner of the…

Thursday, May 23, 2024
4:30 PM
|
380Y
Hannah Larson (UC Berkeley)

Abstract