Scan to see all details
on ScholarLattice.org!

code4math: Consortium of Digital Ecosystems for Mathematics

code4math is a professional organization dedicated to the advancement of mathematical research through the development of high-quality sociotechnical infrastructure: software, databases, communities, and more.

Schedule

All times Eastern Time (US & Canada).

March 31

April 01

April 28

May 06

September 08

09:00 AM

09:00 AM

09:10 AM

House of Graphs: A database of interesting graphs and more — Jan Goedgebeur

10:05 AM

Mathlib: Maintaining a monolith — Yaël Dillies

10:50 AM

03:00 PM

03:00 PM

03:10 PM

The Institute for Computer-Aided Reasoning in Mathematics (ICARM) — Jeremy Avigad

04:05 PM

HTML Papers on arXiv -- Intent on Accessibility — Deyan Ginev

04:50 PM

September 15

09:00 AM

09:00 AM

09:10 AM

Accessible Papers with PreTeXt — Oscar Levin

10:50 AM

03:00 PM

03:00 PM

03:10 PM

The L-functions and Modular Forms Database — David Roe

04:05 PM

Lessons from Software on Managing Complexity — Jeremy Kun

04:50 PM

September 29

October 06

Proof Verification with Lurch Plus — Ken Monks

November 10

Math in the Age of Social Media — Álvaro Lozano-Robledo

December 01

GitHub: So Easy, a Mathematician Can Do It — Steven Clontz

January 06