2025 Sep 08 from 09:00AM to 11:00AM (Eastern Time (US & Canada))
Subevents
September 08
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