Convenings
Community meetings via Zoom
Schedule
All times Eastern Time (US & Canada).
Scan to see all details
on
ScholarLattice.org
!
September 08
09:00AM – 11:00AM
Symposium 2025
Session #1
09:00AM – 09:10AM
Symposium 2025
Introduction
Icon: video
09:10AM – 09:55AM
Symposium 2025
Featured Presentation #1.1
Icon: video
House of Graphs: A database of interesting graphs and more
— Jan Goedgebeur
10:05AM – 10:50AM
Symposium 2025
Featured Presentation #1.2
Icon: video
Mathlib: Maintaining a monolith
— Yaël Dillies
10:50AM – 11:00AM
Symposium 2025
Conclusion
09:00AM – 09:10AM
Symposium 2025
Introduction
Icon: video
09:10AM – 09:55AM
Symposium 2025
Featured Presentation #1.1
Icon: video
House of Graphs: A database of interesting graphs and more
— Jan Goedgebeur
10:05AM – 10:50AM
Symposium 2025
Featured Presentation #1.2
Icon: video
Mathlib: Maintaining a monolith
— Yaël Dillies
10:50AM – 11:00AM
Symposium 2025
Conclusion
03:00PM – 05:00PM
Symposium 2025
Session #2
03:00PM – 03:10PM
Symposium 2025
Introduction
Icon: video
03:10PM – 03:55PM
Symposium 2025
Featured Presentation #2.1
Icon: video
The Institute for Computer-Aided Reasoning in Mathematics (ICARM)
— Jeremy Avigad
04:05PM – 04:50PM
Symposium 2025
Featured Presentation #2.2
Icon: video
HTML Papers on arXiv -- Intent on Accessibility
— Deyan Ginev
04:50PM – 05:00PM
Symposium 2025
Conclusion
03:00PM – 03:10PM
Symposium 2025
Introduction
Icon: video
03:10PM – 03:55PM
Symposium 2025
Featured Presentation #2.1
Icon: video
The Institute for Computer-Aided Reasoning in Mathematics (ICARM)
— Jeremy Avigad
04:05PM – 04:50PM
Symposium 2025
Featured Presentation #2.2
Icon: video
HTML Papers on arXiv -- Intent on Accessibility
— Deyan Ginev
04:50PM – 05:00PM
Symposium 2025
Conclusion
September 15
09:00AM – 11:00AM
Symposium 2025
Session #3
Icon: video
09:00AM – 09:10AM
Symposium 2025
Introduction
Icon: video
09:10AM – 10:50AM
Symposium 2025
Featured Presentation #3
Icon: video
Accessible Papers with PreTeXt
— Oscar Levin
10:50AM – 11:00AM
Symposium 2025
Conclusion
Icon: video
09:00AM – 09:10AM
Symposium 2025
Introduction
Icon: video
09:10AM – 10:50AM
Symposium 2025
Featured Presentation #3
Icon: video
Accessible Papers with PreTeXt
— Oscar Levin
10:50AM – 11:00AM
Symposium 2025
Conclusion
Icon: video
03:00PM – 05:00PM
Symposium 2025
Session #4
03:00PM – 03:10PM
Symposium 2025
Introduction
Icon: video
03:10PM – 03:55PM
Symposium 2025
Featured Presentation #4.1
Icon: video
The L-functions and Modular Forms Database
— David Roe
04:05PM – 04:50PM
Symposium 2025
Featured Presentation #4.2
Icon: video
Lessons from Software on Managing Complexity
— Jeremy Kun
04:50PM – 05:00PM
Symposium 2025
Conclusion
03:00PM – 03:10PM
Symposium 2025
Introduction
Icon: video
03:10PM – 03:55PM
Symposium 2025
Featured Presentation #4.1
Icon: video
The L-functions and Modular Forms Database
— David Roe
04:05PM – 04:50PM
Symposium 2025
Featured Presentation #4.2
Icon: video
Lessons from Software on Managing Complexity
— Jeremy Kun
04:50PM – 05:00PM
Symposium 2025
Conclusion
October 06
03:00PM – 04:00PM
October 2025 Convening
in
Zoom
Icon: video
Proof Verification with Lurch Plus
— Ken Monks
November 10
2025 Nov 10 03:00PM
November 2025 Convening
Icon: video
Math in the Age of Social Media
— Álvaro Lozano-Robledo
December 01
03:00PM – 04:00PM
December 2025 Convening
in
Zulip/Zoom
Icon: video
GitHub: So Easy, a Mathematician Can Do It
— Steven Clontz
January 06
05:30PM – 07:30PM
January 2026 Convening/Reception at the Joint Math Meetings!
in
Jake's Tavern