Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations | Stanford Online | Podwise