All times Eastern Time (US & Canada). Page loaded at 07:56 AM Eastern Time (US & Canada) (UTC -04:00).
Mon, March 31
Tue, April 01
Mon, April 28
Tue, May 06
Mon, September 08
09:00 AM
09:00 AM
09:10 AM
House of Graphs: A database of interesting graphs and more
—
Jan Goedgebeur
10:05 AM
Mathlib: Maintaining a monolith
—
Yaël Dillies
10:50 AM
03:00 PM
03:00 PM
03:10 PM
The Institute for Computer-Aided Reasoning in Mathematics (ICARM)
—
Jeremy Avigad
04:05 PM
HTML Papers on arXiv -- Intent on Accessibility
—
Deyan Ginev
04:50 PM
Mon, September 15
09:00 AM
09:00 AM
09:10 AM
Accessible Papers with PreTeXt
—
Oscar Levin
10:50 AM
03:00 PM
03:00 PM
03:10 PM
The L-functions and Modular Forms Database
—
David Roe
04:05 PM
Lessons from Software on Managing Complexity
—
Jeremy Kun
04:50 PM
Mon, September 29
Mon, October 06
Proof Verification with Lurch Plus
—
Ken Monks
Mon, November 10
Math in the Age of Social Media
—
Álvaro Lozano-Robledo
Mon, December 01
GitHub: So Easy, a Mathematician Can Do It
—
Steven Clontz