Sign up or sign in

code4math
Events

Events for code4math: Consortium of Digital Ecosystems for Mathematics

All times UTC. Page loaded at 12:14 PM UTC.

Calendar

November 2024

Mon	Tue	Wed	Thu	Fri	Sat	Sun
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
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	Dec 01

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+00:00) UTC

March 31

06:30 PM: ARC Check-In Meeting

April 01

02:00 PM: Steering Committee Meeting April 2025

April 28

06:30 PM: ARC Check-In Meeting

May 06

02:00 PM: Steering Committee Meeting May 2025

September 08

01:00 PM: Session #1
- 01:00 PM: Introduction
- 01:10 PM: Featured Presentation #1.1
  House of Graphs: A database of interesting graphs and more — Jan Goedgebeur
- 02:05 PM: Featured Presentation #1.2
  Mathlib: Maintaining a monolith — Yaël Dillies
- 02:50 PM: Conclusion
07:00 PM: Session #2
- 07:00 PM: Introduction
- 07:10 PM: Featured Presentation #2.1
  The Institute for Computer-Aided Reasoning in Mathematics (ICARM) — Jeremy Avigad
- 08:05 PM: Featured Presentation #2.2
  HTML Papers on arXiv -- Intent on Accessibility — Deyan Ginev
- 08:50 PM: Conclusion

September 15

01:00 PM: Session #3
- 01:00 PM: Introduction
- 01:10 PM: Featured Presentation #3.1: PreTeXt
- 02:05 PM: Featured Presentation #3.2: TBA
- 02:50 PM: Conclusion
07:00 PM: Session #4
- 07:00 PM: Introduction
- 07:10 PM: Featured Presentation #4.1
  Lessons from Software on Managing Complexity — Jeremy Kun
- 08:05 PM: Featured Presentation #4.2
  The L-functions and Modular Forms Database — David Roe
- 08:50 PM: Conclusion

October 06

12:00 AM: October 2025 Convening

November 03

12:00 AM: November 2025 Convening

December 01

12:00 AM: December 2025 Convening