researchseminars.org

Ken Monks (University of Scranton)
2025-10-06 20:00 - 21:00 UTC | https://researchseminars.org/talk/code4mathMonthly/1/
Title: Proof Verification with Lurch Plus (https://researchseminars.org/talk/code4mathMonthly/1/)
by Ken Monks (University of Scranton) as part of code4math.org Convenings

Abstract: TBA

Álvaro Lozano-Robledo (University of Connecticut)
2025-11-10 20:00 - 21:00 | https://researchseminars.org/talk/code4mathMonthly/2/
Title: Math in the Age of Social Media (https://researchseminars.org/talk/code4mathMonthly/2/)
by Álvaro Lozano-Robledo (University of Connecticut) as part of code4math.org Convenings

Abstract: TBA

Steven Clontz (University of South Alabama)
2025-12-01 20:00 - 21:00 | https://researchseminars.org/talk/code4mathMonthly/3/
Title: GitHub: So Easy, a Mathematician Can Do It (https://researchseminars.org/talk/code4mathMonthly/3/)
by Steven Clontz (University of South Alabama) as part of code4math.org Convenings

Abstract: TBA
