Sign up or sign in

code4math
Events

Events for code4math: Consortium of Digital Ecosystems for Mathematics

All times Eastern Time (US & Canada). Page loaded at 02:12 PM Eastern Time (US & Canada).

Calendar

March 2026

Mon	Tue	Wed	Thu	Fri	Sat	Sun
Feb 23	Feb 24	Feb 25	Feb 26	Feb 27	Feb 28	Mar 01
Mar 02	Mar 03	Mar 04	Mar 05	Mar 06	Mar 07	Mar 08
Mar 09	Mar 10	Mar 11	Mar 12	Mar 13	Mar 14	Mar 15
Mar 16	Mar 17	Mar 18	Mar 19	Mar 20	Mar 21	Mar 22
Mar 23	Mar 24	Mar 25	Mar 26	Mar 27	Mar 28	Mar 29
Mar 30	Mar 31	Apr 01	Apr 02	Apr 03	Apr 04	Apr 05

Sorry, your device's current display is too narrow to display the calendar view of events.

code4math: Consortium of Digital Ecosystems for Mathematics Schedule

All times (GMT-05:00) Eastern Time (US & Canada)

March 31

02:30 PM: ARC Check-In Meeting

April 01

10:00 AM: Steering Committee Meeting April 2025

April 28

02:30 PM: ARC Check-In Meeting

May 06

10:00 AM: Steering Committee Meeting May 2025

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

September 29

01:00 PM: Introduction to π-Base - Fall 2025 in Zoom

October 06

03:00 PM: October 2025 Convening in Zoom
Proof Verification with Lurch Plus — Ken Monks

November 10

03:00 PM: November 2025 Convening
Math in the Age of Social Media — Álvaro Lozano-Robledo

December 01

03:00 PM: December 2025 Convening in Zulip/Zoom
GitHub: So Easy, a Mathematician Can Do It — Steven Clontz

January 06

05:30 PM: January 2026 Convening/Reception at the Joint Math Meetings! in Jake's Tavern