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