Sign up or sign in

Events for Convenings

All times Eastern Time (US & Canada). Page loaded at 11:07 PM Eastern Time (US & Canada).

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

Calendar

August 2026

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

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