From Proofs to Programs: How Abstract Math Becomes Real Software

Name: From Proofs to Programs: How Abstract Math Becomes Real Software
Start: 2026-02-23T18:00:00-04:00
End: 2026-02-23T20:00:00-04:00