Similar Tracks
Berkeley Lab's Breakthroughs in Exascale Supercomputing and AI Energy Efficiency | John Shalf
SAIConference
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
Simons Institute