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