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