Sign up or sign in

Events for Convenings

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

View all events for code4math: Consortium of Digital Ecosystems for Mathematics

Calendar

November 2025

Mon	Tue	Wed	Thu	Fri	Sat	Sun
Oct 27	Oct 28	Oct 29	Oct 30	Oct 31	Nov 01	Nov 02
Nov 03	Nov 04	Nov 05	Nov 06	Nov 07	Nov 08	Nov 09
Nov 10 03:00PM: November 2025 Convening	Nov 11	Nov 12	Nov 13	Nov 14	Nov 15	Nov 16
Nov 17	Nov 18	Nov 19	Nov 20	Nov 21	Nov 22	Nov 23
Nov 24	Nov 25	Nov 26	Nov 27	Nov 28	Nov 29	Nov 30

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

Convenings Schedule

All times (GMT-05:00) 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

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