ScholarLattice
Icon: home
Home
Icon: dashboard
Dashboard
Icon: collection
Collections
Privacy Policy
Terms of Service
Sign up or sign in
Menu
ScholarLattice
Icon: collection
Icon: chevron
code4math
Icon: chevron
Convenings
Icon: chevron
Symposium 2025
Icon: chevron
Icon: calendar
Events
Icon: chevron
Details
code4math
Icon: chevron
Convenings
Grand Opening Symposium
Icon: calendar
Session #1
| 2025 Sep 08 from 09:00AM to 11:00AM (Eastern Time (US & Canada))
Icon: calendar
Session #1
| 2025 Sep 08 from 09:00AM to 11:00AM (Eastern Time (US & Canada))
Subevents
September 08
09:00AM – 09:10AM
Introduction
Icon: video
09:10AM – 09:55AM
Featured Presentation #1.1
Icon: video
House of Graphs: A database of interesting graphs and more
— Jan Goedgebeur
10:05AM – 10:50AM
Featured Presentation #1.2
Icon: video
Mathlib: Maintaining a monolith
— Yaël Dillies
10:50AM – 11:00AM
Conclusion
« Back to Symposium 2025 Events
